2015-08-19 Simon Gerberkernel: remove 0x prefix for unsigned format specfiers
2015-08-19 Simon Gerbergem5: make serial port configurable
2015-08-18 Simon Gerberxeon phi: fix vfs deps to not build megaraid
2015-08-18 Simon Gerberx86_64: syscall: Fix debug_notify_syscall so Xeon Phi...
2015-08-18 Simon Gerberacpi: fix VT-d initialization.
2015-08-17 Simon Gerberarrakis merge: Fix #defines in kernel/dispatch.c (again)
2015-08-17 Simon Gerberacpi: Abort VT-d initialization when no HW units found.
2015-08-17 Simon Gerberharness: simplify exception handling in interactive...
2015-08-17 Simon Gerbere10k: add missing flounder binding
2015-08-17 Simon Gerberharness: add TIMEOUT to expected exceptions in Interact...
2015-08-17 Simon Gerberarrakis merge: make x86_32 build
2015-08-17 Moritz HoffmannT155: libbarrelfish: deregister waitset after event_que...
2015-08-17 Moritz HoffmannT155: libbarrelfish: update copyright notice for event_...
2015-08-17 Moritz HoffmannT155: libbarrelfish: Implement event_queue_flush
2015-08-14 Simon Gerberx86: fix spawnd libdeps.
2015-08-14 Simon Gerberarrakis merge: remove megaraid dependency for arm archs
2015-08-14 Simon Gerberarm: fix messed up ifdefs
2015-08-14 Simon GerberT154: mask out vregion flag for arm
2015-08-14 David Cockharness: Default to an empty list, not None.
2015-08-14 David Cockkernel: Interaction of braces with #ifdefs was breaking...
2015-08-14 Simon GerberFix arrakis merge errors
2015-08-14 Simon GerberMerge branch 'arrakis'
2015-08-14 Reto AchermannT152: fixing memory leakage, missing of free state
2015-08-14 Reto AchermannT153: avoid code duplication when setting slot allocator
2015-08-13 Simon Gerberpci: fix missing out barnr.
2015-08-13 Moritz Hoffmannpci: Expose real bar number to pci clients.
2015-08-13 Moritz HoffmannCloses T154: pmap, kernel: Add support for write-combin...
2015-08-12 David CockSquashed a bug in paging code from the ARMv8 branch. release2015-08-13
2015-08-12 David CockMerge branch 'armv8'
2015-08-06 Simon Gerberkernel: do not drop RAM caps
2015-08-06 Reto Achermannmorecore: fixing leaking slot allocator.(closes T153
2015-08-06 David CockMade errval_t a flounder builtin.
2015-08-05 Reto Achermannmonitor: bugfixes in the revocation protocol
2015-08-05 Simon Gerbermonitor: distops: add missing free + assert in retrieve.
2015-08-05 Simon Gerbermonitor: remove old capability code
2015-08-05 Reto Achermannmonitor: handover of correct state for cap revocations
2015-08-04 Simon Gerberarm: fix caps_map_l1 for armv5 and remove panic()s...
2015-08-04 Simon Gerberarmv5: add missing cp15_invalidate_i_and_d_caches_fast()
2015-08-03 Simon Gerberlarge page morecore: add command line options to test
2015-08-03 Simon Gerber32bit arm: fix large page support. Close T148.
2015-08-03 Simon Gerberarm: implement flush cache debug syscall
2015-07-08 David CockMarked problematic code in ARM subtree.
2015-07-08 David CockRemove serial port hardcoding.
2015-07-08 David CockSeperated the tool prefix from the tool name for ARMv8.
2015-06-30 Reto AchermannXeon Phi: fixing race condition when booting two cards... release2015-07-14
2015-06-26 Reto Achermannharness: adding k1om to build archs for babybel adaptin...
2015-06-25 Reto Achermannkernel: adding padding for multi boot information to...
2015-06-25 Reto Achermannfixing debug printf in xeon phi boot
2015-06-25 Reto AchermannXeon Phi test: updating test suite to match the new...
2015-06-25 Reto AchermannXeon Phi boot: getting rid of the single boot image...
2015-06-25 Reto Achermannlibtftp: initial commit of a simple tftp client library
2015-06-22 Reto AchermannKaluga: fix ARM build
2015-06-22 Reto AchermannDeviceDB: setting coreoffset to 10 in Xeon Phi driver.
2015-06-22 Reto Achermannharness: adding test for xeon phi boot
2015-06-22 Reto AchermannXeon Phi: adding functionality to suppress dma initiali...
2015-06-22 Reto AchermannXeon Phi boot: moving control from monitor to xeon...
2015-06-19 Simon Gerberarmv8: cleanup.
2015-06-19 Simon Gerberarmv8: remove old GOT stuff.
2015-06-19 Simon Gerberarmv8: add definitions for VMSAv8-64 translation table...
2015-06-19 Simon Gerberarmv8: cpu driver improvements.
2015-06-19 Reto Achermannk1om-release: fixing missing headers
2015-06-19 Reto Achermannkernel: zeroing out new memory allocated by phys_alloc
2015-06-19 Reto Achermanncoreboot: adding missing if/ dependencies to Hakefile...
2015-06-19 Reto AchermannT125: network starup workaroud
2015-06-19 Reto Achermanncoreboot: adding monitor rpc client to the hake file
2015-06-19 Reto Achermannk1om kernel: adapting the changes of the x86_64 in...
2015-06-19 Reto Achermannlibbarrelfish: merging arch specific hearders for k1om...
2015-06-19 Reto Achermannhake: adding missing include path to the k1om kernel
2015-06-19 Reto Achermannkernel: removing duplicated headers for k1om
2015-06-19 Reto Achermannk1om: aliasing rdtscp with rdtsc
2015-06-19 Reto Achermannlibconcurrent: add include file to stddbool into header.
2015-06-19 Reto Achermannasmoffests: merging x86_64 and k1om preprocessor directives
2015-06-19 Reto Achermannweever: adding x86_64 includes to the hake file
2015-06-19 Reto Achermanntestconcurrent: reordering includes
2015-06-19 Reto Achermannk1om: re-adding architecture dependent asm_inlines...
2015-06-19 Reto Achermannhake: switching include paths and adding additional...
2015-06-19 Reto AchermannXeon Phi: Removing duplicated headers
2015-06-18 Simon Gerberarmv8: non-functioning exception vectors.
2015-06-18 Simon Gerberarmv8: try to print things.
2015-06-17 Moritz HoffmannT123: kernel: remove scc-specific code from x86_32... release2015-06-18
2015-06-17 Moritz HoffmannT121: kernel: fix BSP KCB creation on x86_32 and armv5
2015-06-17 Moritz HoffmannT121: kernel: Make BSP KCB a proper capability on ARM
2015-06-16 Moritz HoffmannT121: kernel: Add missing include
2015-06-16 Moritz Hoffmannkernel: Remove references arch_init to bspkcb which...
2015-06-16 Moritz HoffmannT119: kernel: Implement cap invocation for arm, x86_32
2015-06-16 Moritz Hoffmanntrace: Consistent includes across all platforms
2015-06-16 Moritz Hoffmannkernel: fix object creation for KCB on arm, x86_32
2015-06-16 Moritz HoffmannT119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_...
2015-06-16 Moritz HoffmannT119: kernel, spawnd, fish: Use dispatcher invocations...
2015-06-16 Moritz HoffmannT119: kernel: Unify debug_print_capabilities in sys_debug.c
2015-06-16 Moritz HoffmannT118: libbarrelfish: Refactor architecture specific...
2015-06-16 Simon GerberT119: add case when we find init rootcn in KCB.
2015-06-16 Simon Gerberkernel: fix object creation for KCB.
2015-06-16 Simon GerberT121: Create "real" BSP KCB cap for x86.
2015-06-16 Moritz HoffmannT119: work in progress, use mdb tree call-back function...
2015-06-16 Moritz HoffmannT119: implement syscall and monitor interface to debug_...
2015-06-16 Moritz HoffmannCloses T118: libbarrelfish: Extract common syscalls...
2015-06-16 Reto Achermannlibnuma: implementing missing allocation functions...
2015-06-16 Reto Achermannlibbomp: match the new bitmap interface for prev/next...
2015-06-16 Reto Achermannlibbitmap: changing semantics of bitmap_bit_{prev|next}