barrelfish
2016-08-16 Simon GerberT258: refactor creation of new cspaces to make it cleaner
2016-08-16 Reto Achermannhake: replacing tabs with spaces in config template
2016-08-16 Reto AchermannK1OM: updating toolchain to MPSS SDK 3.7.1
2016-08-16 Reto Achermannhake: adding system compiler for k1om.
2016-08-16 Simon Gerberharness: output processing: handle cases where we do...
2016-08-16 Simon Gerberharness: retype_test: fix multicore retype test to...
2016-08-16 Simon Gerberacpi: osglue: implement AcpiOsStall() using barrelfish_...
2016-08-16 Simon Gerberharness: memtest_multicore: add a single multiboot...
2016-08-16 Simon Gerberskb interface: up size of run output string to 64kB
2016-08-16 Simon Gerberk1om: libbarrelfish: Fix disp_try_disable
2016-08-16 Simon GerberUpdate weever to build against newlib headers
2016-08-16 Simon GerberRemove CONFIG_NEWLIB #define and all uses
2016-08-15 Simon Gerberharness: armv7 qemu: fix image creation calls to work...
2016-08-15 Simon Gerberharness: unbreak armv7 simulators when not using existi...
2016-08-15 Simon Gerberarmv7: kernel: monitor_delete_last: fix argument unmars...
2016-08-15 Simon Gerberharness: armv7 machines: fix pandaboard to work with...
2016-08-15 Simon Gerberharness: armv7 simulator machines: fix to work with...
2016-08-15 Simon GerberT243: Fix armv7 pmap code to work with new vnodes
2016-08-15 Simon GerberT243: Fix armv7 paging code and caps_retype() to proper...
2016-08-15 Simon GerberT243: Fix vnode_objsize() to return 1024 for ARM_l2...
2016-08-15 Simon GerberT243: capability types and kernel code now accurately...
2016-08-15 Lukas HumbelStart ahcitest from kaluga
2016-08-15 Lukas HumbelIRQ: Make irqtest generate correct menu.lst
2016-08-11 Simon GerberStore BSP KCB in octopus as KCB 0 and update coreboot...
2016-08-11 Simon Gerberharness: Improve exception output in xml reports and...
2016-08-11 Simon Gerberharness: factor out line cleaning and use in process_ou...
2016-08-11 Simon GerberFix harness to properly strip terminal color control...
2016-08-11 Simon GerberFix kernel struct dispatcher_shared_arm include in...
2016-08-10 Simon GerberIRQ: kaluga: pass driver_argument pointer to default_st...
2016-08-10 Simon GerberT258: caps_lookup_slot: return SYS_ERR_CNODE_NOT_FOUND...
2016-08-10 Lukas HumbelIRQ: Instantiate pci link controller earlier
2016-08-10 Lukas HumbelSKB: Better debug output
2016-08-10 Lukas HumbelSKB: Workaround to generate fact listing
2016-08-09 Lukas HumbelSKB: Better error output for skb clients
2016-08-09 Lukas HumbelIRQ: use swizzle for PCI interrupts, fix devdb entry
2016-08-09 Lukas HumbelKaluga: Do not panic on skb error
2016-08-09 Lukas HumbelSKB: Fix crash when skb buffers are full
2016-08-09 Lukas HumbelUse serial_kernel as default module
2016-08-09 Lukas HumbelIRQ: Fix interrupts handled by ACPI
2016-08-05 Simon GerberT275: platforms/Hakefile: add delete and revoke distops...
2016-08-05 Simon GerberT258: kaluga: use cnode_create_l2()
2016-08-05 Simon Gerbermonitor: capops/delete: properly check slot_free()...
2016-08-05 Simon GerberT275: fix printfs in distops delete test
2016-08-05 Simon Gerbermonitor: capops: delete: fix case where we delete last...
2016-08-05 Simon Gerberkernel: armv7: zynq7: add arm/debug.c to hake rule
2016-08-05 Simon Gerberlibspawndomain: fix typo
2016-08-05 Simon Gerberarmv8: QEMU ARMv8 compiles
2016-08-05 Simon GerberT266: armv7: add kernel-side handlers for cnode resizing
2016-08-05 Simon GerberT274: armv8: update monitor invocations and cleanup...
2016-08-05 Simon GerberMerge branch 'caps_next'
2016-08-05 Simon GerberT274: armv8: update cspace invocations
2016-08-05 Simon GerberT258: mem_serv_dist: fix get_more_ram() call
2016-08-05 Simon GerberT258: Delete GPT cspace functionality and rename new...
2016-08-03 Simon Gerberharness: armv7_gem5: up test timeout to 25 minutes
2016-08-03 Simon Gerberharness: armv7 simulators: grab cpu driver command...
2016-08-03 Reto Achermannremoving oldc from source, using newlib in tools/elver.
2016-08-03 Simon Gerbercpuboot: arm: spawn_xcore_monitor: return LIB_ERR_NOT_I...
2016-08-03 Simon Gerberharness: vmkit: add correct serial driver module
2016-08-03 Simon Gerberharness: armv7 machines: deduplicate code and grab...
2016-08-03 Simon Gerbermonitor/ram_alloc: unnecessary debug_printfs and commen...
2016-08-03 Simon Gerberharness: update interactive tests to work with new...
2016-08-02 Simon GerberT258: armv7: fix call stack in cnode_create()
2016-08-02 Simon GerberT258: two_level_slot_alloc_init{,_raw}: Remove unnecess...
2016-08-02 Simon GerberT258: libbarrelfish: Remove commented-out debugging...
2016-08-02 Simon GerberT258: arrakismon: use two-level slot allocator as multi...
2016-08-02 Simon GerberT258: Add call stack to cnode_create()
2016-08-02 Simon GerberT258: fix invoke_dispatcher() assertions to work for...
2016-08-02 Simon GerberT258: Implement two_level_slot_alloc_init{,_raw} and...
2016-08-02 Simon Gerberkernel: caps_delete_foreigns: check for copies in prede...
2016-08-02 Simon GerberT275: delete test: do not panic out for delete under...
2016-08-02 Simon Gerbermonitor/capops: add more DEBUG_CAPOPS() statements...
2016-08-02 Simon GerberT276: armv7: Add new monitor invocation for retypeabili...
2016-08-02 Simon Gerbermonitor/capops: add more DEBUG_CAPOPS() in delete_trylo...
2016-08-02 Simon GerberT275: fix delete test
2016-08-02 Simon GerberT275: Refactor distops tests and fix bug in delete...
2016-08-02 Simon GerberT276: Fix monitor revoke check to check for overlapping...
2016-08-02 Simon GerberT276: Fix monitor retype check to check on owning core...
2016-08-02 David CockARMv7: Use TPIDRPRW to hold the kernel GOT base.
2016-08-02 David CockARMv7: Add SKB records for ARMv7 cores in Kaluga.
2016-08-02 David CockARMv7: Added arch-specific platform info.
2016-07-29 Lukas HumbelMerge branch 'irq'
2016-07-29 Lukas HumbelIRQ: Better compatibility with existing drivers
2016-07-29 Lukas HumbelIRQ: Remove debug prints
2016-07-29 Lukas HumbelIRQ: armv8 fixes
2016-07-29 Lukas HumbelIRQ: Fixes for armv7/pandaboard
2016-07-29 Lukas HumbelIRQ: start serial_pc16550d binary
2016-07-29 Lukas HumbelIRQ: Adapt the serial driver for new interface from...
2016-07-29 Lukas HumbelMerge branch 'master' into irq
2016-07-29 Simon GerberT273: armv7: Fix monitor invocations for capability...
2016-07-29 Simon GerberT275: distops_retype test: fix printf for unexpected...
2016-07-29 Simon GerberT275: Add distributed revoke test
2016-07-29 Simon GerberT275: Add test for delete of distributed capabilities
2016-07-29 Simon GerberT258: Make sure that invoke_vnode_identify() can only...
2016-07-29 Simon GerberT275: Refactor distributed retype test into framework...
2016-07-29 Simon GerberT274: monitor: capops/retype: add DEBUG_CAPOPS() statem...
2016-07-29 Simon Gerbermonitor: capops: capsend: add DEBUG_CAPOPS(__FUNCTION__...
2016-07-29 Simon GerberT275: T266: platforms/Hakefile: Add test_remote_retype...
2016-07-29 Simon GerberT274: Fix remote retype
2016-07-29 Simon GerberT275: Add test for distributed capability retype
2016-07-29 Lukas HumbelARMv8: Build fixes
next