barrelfish
2016-10-04 Simon Gerberlibbarrelfish: arm pmap: fix flag passing in modify_flags
2016-10-04 Simon Gerberkernel: dump_ptables: armv7: print rw flags for small...
2016-10-04 Simon Gerberkernel: arm: fix modify_flags invocation
2016-10-04 Simon Gerbernkmtest: make arm version compile and only check fault...
2016-10-03 Simon Gerberharness: Add test for vnode_map() with too many ptes...
2016-10-03 Simon Gerberarmv7: paging: proper check if `pte_count` pages fit...
2016-10-03 Simon Gerbervnode_map: add test with pte_count larger than fits...
2016-09-28 Simon GerberT291: kernel: include bitmacros.h in kernel.h
2016-09-28 Simon GerberT291: create_mapping_cap:Properly check that offsets...
2016-09-28 Moritz HoffmannT291: add implementation for armv7/8
2016-09-27 Moritz HoffmannT291: Implement offset in mapping capabilities.
2016-09-26 Moritz Hoffmannbulk_transfer: Improve code style.
2016-09-26 Moritz Hoffmannnet_device_manager: Fix invalid (and always true) compa...
2016-09-26 Moritz Hoffmannpcre: Add #ifdef SUPPORT_UCP to resolve unused variable...
2016-09-26 Moritz Hoffmannbench/ahci: Add braces to if to fix code ambiguity...
2016-09-26 Moritz Hoffmannacpica: Include acgcc.h on barrelfish.
2016-09-22 Simon Gerberharness: fix armv7 machines to work with coreboot enabl...
2016-09-22 Simon GerberUpdate README to reflect new tools
2016-09-22 Simon GerberMerge branch 'toolchain1604'.
2016-09-21 Simon Gerberkaluga: start_cpu: inheritcn_delete: remove trigger...
2016-09-21 Simon Gerberoctopus client: return trigger id to caller in oct_trig...
2016-09-21 Simon Gerberkaluga: delete kaluga's copy of inherit cnode after...
2016-09-21 Simon GerberT289: Refactor slot allocator code to allow slot_alloc_...
2016-09-21 Simon GerberT288: Remove references to DEFAULT_CNODE_BITS and deriv...
2016-09-21 Simon GerberT284: reduce number of queue slots for receive capslots...
2016-09-21 Simon GerberT284: make kernel message on occupied destination slot...
2016-09-21 Simon GerberT284: Fix a couple bits of PCI client code where we...
2016-09-21 Simon GerberT284: Fix thread_{get,set}_recv_slot()
2016-09-21 Simon Gerberharness: fix core ranges for memtest_multicore and...
2016-09-21 Simon GerberT284: T285: Store RPC recv slots in thread struct
2016-09-21 Simon GerberT284: Fix logic for when to fail when no new recv slot...
2016-09-21 Simon GerberT284: Change flounder to use provided slots when in...
2016-09-20 Adam Turowskimt-waitset: adding masking of channels so a thread...
2016-09-19 Adam TurowskiAdding some initializations
2016-09-15 Adam Turowskiflounder: checking if LMP receive function can actually...
2016-09-05 Adam Turowskikaluga: removing free call of not malloced region
2016-09-05 Adam Turowskimalloc: extra information about the function that attem...
2016-09-05 Adam Turowskiharness: adding multithreaded waitset test
2016-09-02 Adam TurowskiMerge branch 'master' of ssh://code.systems.ethz.ch...
2016-09-02 Adam Turowskimonitor: fixing reordering of LMP messages during UMP...
2016-09-02 David CockMerge branch 'arm_coreboot'
2016-09-02 David CockARMv7: Don't spawn cores on Zynq7000 - it's broken.
2016-09-02 Lukas HumbelRPC cap test: more output
2016-09-02 David CockARMv7: Don't autoboot cores on big.LITTLE - it's broken...
2016-09-02 Lukas HumbelExtended RPC+cap test
2016-09-02 David CockARMv7: bit.LITTLE boot target
2016-09-02 David CockARMv7: Identify A5 on boot.
2016-09-02 David CockARMv7: FVP_A5x1 (A9 image) & FVP_A7x1 (A15 image).
2016-09-02 David CockARMv7: DS-5 script for A15 FVP.
2016-09-02 David CockARMv7: FVP A15 starts in secure mode, so use the right...
2016-09-01 David CockARMv7: A15/A17 FVPs. Don't quite work yet.
2016-09-01 David CockARMv7: Added new FVP boot targets.
2016-09-01 David CockARMv7: Added coreboot for Zynq7000 - doesn't work yet.
2016-09-01 Lukas HumbelHarness: Disable read after finish as it breaks some...
2016-09-01 Lukas HumbelHarness: Flush console after test has finished
2016-09-01 Adam Turowskiflounder: removing monitor header file dependency from UMP
2016-08-31 David CockARMv7: 4 core A15 in QEMU
2016-08-31 David CockARMv7: Single-core A15 now uses SKB
2016-08-31 David CockARMv7: Renamed SKB files to remove FVP reference.
2016-08-31 David CockARMv7: Coreboot paramaters through the SKB
2016-08-31 Lukas HumbelRevert changes to test.if to make everything compile...
2016-08-31 Adam TurowskiMerge branch 'master' of ssh://code.systems.ethz.ch...
2016-08-31 Adam Turowskimt-waitset: fixing the token generator which under...
2016-08-31 Adam Turowskimt-waitset,flounder: not perfect fix of the cap transfe...
2016-08-31 Lukas HumbelAdded idc test to harness
2016-08-30 David CockARMv7: Removed unused dependences from CPU drivers.
2016-08-30 David CockARMv7: Boot all cores on the Pandaboard
2016-08-30 David CockARMv7: Set all mappings to inner-shareable.
2016-08-30 David CockARMv7: Updated pandaboard debug scripts
2016-08-30 David CockMerge branch 'master' into arm_coreboot
2016-08-30 David CockARMv7: Manual coreboot works on Pandaboard
2016-08-30 Adam Turowskimt-waitset,flounder: adding mutexes to LMP
2016-08-29 David CockARMv7: Factored boot protocol out of plat_vexpress
2016-08-29 Lukas HumbelMake sure network domains are started by Kaluga.
2016-08-29 David CockARMv7: All cores now come up on boot.
2016-08-29 Lukas HumbelFix webserver test by putting everything on core 0
2016-08-29 Lukas HumbelHarness: Don't fail on utf-8 encoding
2016-08-29 Lukas HumbelHarness: Fix panda_local machine
2016-08-29 Lukas HumbelAdd tests for cap transfer
2016-08-26 David CockARMv7: Add cpu_boot.S for A15
2016-08-26 Adam TurowskiMerge branch 'master' of ssh://code.systems.ethz.ch...
2016-08-26 David CockARMv7: Route IRQs to the CPU that enables them.
2016-08-26 Adam Turowskitests: multithreaded waitset test
2016-08-26 Simon Gerberharness: Fix git extra info for detached HEAD state
2016-08-26 Lukas HumbelHarness: Fix for tests without get_modules.
2016-08-26 David CockARM: Report number of SPIs correctly on boot.
2016-08-26 David Cockserial: retabbed serial_pl011.c
2016-08-26 David CockARMv7: Use bytes, not bits for URPC frame.
2016-08-25 David CockARMv7: Clone CPU driver cmdline correctly.
2016-08-25 Lukas HumbelHarness: Write menu.lst to output directory
2016-08-25 David CockARMv7: Disable all PC-relative data relocations.
2016-08-25 David CockARMv7: Zero CPU driver memory in coreboot
2016-08-25 Lukas HumbelScalebench: Add git metadata (rev/branch/patch) in...
2016-08-25 David CockARMv7: Include core ID in kernel messages.
2016-08-25 David CockARMv7: Always load SP via the GOT.
2016-08-25 Lukas HumbelKaluga x86 startup: Be tolerant when module is not...
2016-08-25 Lukas HumbelTrying to fix vmkit test.
2016-08-25 Lukas HumbelIRQ: Int route service: corrected use of continuations
2016-08-24 David CockARMv7: Pass the correct boot record address to the...
2016-08-24 David CockARMv7: Coreboot makes it inside the CPU driver.
next