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}
2015-06-16 Reto Achermannmemobj: adding missing implementation of unfill for...
2015-06-15 Moritz HoffmannFixes T120: mdb: Add mdb tree traversal functions.
2015-06-15 Reto AchermannAdding missing THC dependencies in Hakefile of Xeon...
2015-06-11 Simon Gerberx86: implement modify flags for x86_32 and improve...
2015-06-11 Simon Gerbercpuid device definitions: remove utf-8 registered symbols.
2015-06-11 Moritz Hoffmannshortcut in protect for single page operations
2015-06-11 Moritz Hoffmannmemobj_anon, protect: use vregion_base and _off correctly
2015-06-11 Moritz HoffmannFix implementation of memobj_anon protect.
2015-06-11 Simon Gerberkernel: x86_64: fixed error handling in modify_flags.
2015-06-11 Simon GerberT77: Implement selective TLB flushing hint for modify_f...
2015-06-11 Simon GerberT73: fix modify_flags for parts of region + test.
2015-06-11 Reto Achermannadding support for modify flags on large/huge pages
2015-06-11 Simon Gerberapm88xxxx: cpu driver: add serial init and printf.
2015-06-11 Simon Gerberapm88xxxx: implement kernel serial driver.
2015-06-10 Reto Achermann[T115] making SKB CPU facts consistent beginning with...
2015-06-10 Reto Achermannnumatest: adding +1 to print the correct values
2015-06-10 Reto Achermann[T115] make data gatherer use of libcpuid
2015-06-10 Reto Achermann[T115] extending support for cpuid instruction
2015-06-04 Reto Achermannskb: adding query for locality information release2015-06-09
2015-06-04 Reto Achermannlibnuma: adding support for locality information and...
2015-06-04 Reto AchermannACPI: Adding support to parse the locality tables
2015-06-03 Simon GerberInitial AArch64/ARMv8 skeleton.
2015-06-03 Simon Gerberarm: unify arm.h header for all arm 32bit flavours.
2015-06-03 Simon Gerbernewlib: T110: fix libc Hakefile to prefer machine-speci...
2015-06-01 Simon Gerberarmv5: improved page table dumping.
2015-06-01 Simon Gerber32bit: fixup printf format specifiers.
2015-06-01 Simon Gerbernewlib: fixup missing bits + make compile for 32bit.