barrelfish
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
2016-07-29 Lukas HumbelIRQ: Better error messages for Kaluga
2016-07-29 Lukas HumbelFix compiler warnings in ramfsd
2016-07-29 Lukas HumbelIRQ: Rebase fixup for new flounder interface
2016-07-29 Lukas HumbelIRQ: Fixing the merge with restructured ACPI
2016-07-29 Lukas HumbelIRQ: serial driver uses IRQ cap
2016-07-29 Lukas HumbelIRQ: Start serial from kaluga
2016-07-29 Lukas HumbelIRQ: Add priorioty to device_db. Additional device_db...
2016-07-29 Lukas HumbelIRQ: cleanup
2016-07-29 Lukas HumbelIRQ: Activate PCI interrupts
2016-07-29 Lukas HumbelIRQ: add ioapic controller.
2016-07-29 Lukas HumbelIRQ: Adding ioapic controller stubs
2016-07-29 Lukas HumbelIRQ: Renamed int_controller to pcilnk_controller
2016-07-29 Lukas HumbelIRQ: Interrupt controller for link devices working
2016-07-29 Lukas HumbelIRQ: inlined last in irq_routing_new
2016-07-29 Lukas HumbelIRQ: Better Debug output
2016-07-29 Lukas HumbelIRQ: Better debug output
2016-07-29 Lukas HumbelIRQ: Kaluga start driver with IRQ caps.
2016-07-29 Lukas HumbelIRQ: Refactor into int_route_client library, add legacy...
2016-07-29 Lukas HumbelIRQ: Removed debug statements
2016-07-29 Lukas HumbelIRQ: Add int_arg parameter to kalugas driver start
2016-07-29 Lukas HumbelIRQ: Int route server cleanup
2016-07-29 Lukas HumbelIRQ: use uint64_t everywhere for int numbers, renamed...
2016-07-29 Lukas HumbelIRQ: int controller service done, one client for pcilnk...
2016-07-29 Lukas HumbelIRQ: cleanup
2016-07-29 Lukas HumbelIRQ: working on interrupt route service
2016-07-29 Lukas HumbelIRQ: Also adding pci link devices to octopus
2016-07-29 Lukas HumbelIRQ: Kaluga: put int ctrl startup in own file
2016-07-29 Lukas HumbelIRQ: Kaluga, react on octopus events and start ctrl...
2016-07-29 Lukas HumbelIRQ: Use kaluga to start interrupt controllers
next