barrelfish
2016-02-23 Simon Gerberharness: run angler with termtype "dumb" for interactiv... release2016-02-24
2016-02-23 Reto Achermannserial: unify the kernel serial interface again
2016-02-23 Simon Gerberkernel: x86_64: vmx: properly intialize val in vmx_read...
2016-02-23 Moritz Hoffmannkaluga: Fix string formatting in debug code.
2016-02-11 Lukas HumbelFixed T203
2016-02-11 Simon GerberT207: Implement local_phys_is_valid() and call this...
2016-02-11 Lukas HumbelT203 remove virtual devices
2016-02-11 Lukas HumbelT203 vmkit bugfix for HW interrupts when in VM
2016-02-11 Lukas HumbelT203 vmkit test: fix menu.lst for serial output
2016-02-11 Lukas HumbelT203 Fix null pointer for vmkit domain
2016-02-11 Moritz Hoffmanncompiler-rt: disable trampoline_setup_test. Closes...
2016-02-10 Moritz HoffmannMerge branch 'tommath'
2016-02-10 Moritz Hoffmannharness/tommath: add mont test
2016-02-10 Moritz Hoffmanntommath/mont: pass random see through arg on BF
2016-02-10 Moritz Hoffmanntommath: add target for mont test
2016-02-10 Moritz Hoffmannharness: test compiler-rt builtins
2016-02-10 Moritz Hoffmannnewlib/libm: add missing files to Hakefile, enable...
2016-02-10 Moritz Hoffmanncompiler-rt: fix missing include
2016-02-10 Moritz Hoffmanncompiler-rt: do not compile unsupported tests on Barrelfish
2016-02-10 Moritz Hoffmannusleeptest: test that waits for specified amount of...
2016-02-10 Moritz Hoffmanncompiler-rt: compile builtins unit tests
2016-02-10 Moritz Hoffmanncompiler-rt: correct arch-specific compilation
2016-02-10 Moritz Hoffmanncompiler-rt: compile arch-specific builtins
2016-02-09 Moritz Hoffmanncompiler-rt: compile most builtins
2016-02-09 Moritz Hoffmanntommath: change Hakefile description
2016-02-09 Moritz Hoffmanncompiler-rt: compile without touching source code by...
2016-02-09 Moritz Hoffmanntommath: compile mersenne sample program
2016-02-09 Moritz Hoffmannadd compiler-rt Hakefile
2016-02-09 Moritz Hoffmanntommath: add Hakefile
2016-02-09 Moritz HoffmannMerge commit 'f5164f1fc37fa077a55a52d479ac3ad8582289c8...
2016-02-09 Moritz HoffmannSquashed 'lib/compiler-rt/' content from commit 7895f5b
2016-02-09 Moritz HoffmannMerge commit 'ff25fb56ec9a7500e39bd2e38e0c39429e4b0f09...
2016-02-09 Moritz HoffmannSquashed 'lib/tommath/' content from commit 1bd1320
2016-02-09 David CockAdded toolchain definitions for Linaro 2015.08
2016-02-08 Moritz Hoffmannhamlet, kpi types, caps: add pasid type
2016-02-05 Simon GerberAdd Physical ASID field to PhysAddr, RAM, Frame and...
2016-02-03 Reto Achermannharness: dealing with capturing aoutput after endstring...
2016-02-03 Reto Achermannspantest: adding a different printf for test finish...
2016-02-03 Reto Achermannharness: bugfix in spantest
2016-02-03 Reto Achermannharness: adding tests for span interleave and span...
2016-02-03 Reto Achermannspantest: adding tests for T194 and T193
2016-02-03 Moritz Hoffmannmdb_traverse: remove typedef for tree traversal direction
2016-02-03 Reto Achermannlibposixcompat: adding pthread_attr_destroy implementation
2016-02-02 Reto Achermannlibnuma: fix in determining the pagesize and the flags...
2016-02-02 Reto Achermannhake: adding dependency generator for 32-bit C++
2016-01-22 Gerd ZellwegerRemove terminal.if interface from public facing header...
2016-01-15 Gerd ZellwegerBugfix: Check monitor command line path.
2016-01-15 Gerd ZellwegerCall bench_init() instead of bench_arch_init().
2016-01-15 Gerd ZellwegerFix race condition in cap_delete.c
2016-01-15 Gerd ZellwegerImplement termios functionality for a better shell.
2016-01-15 Gerd ZellwegerInitial import of linenoise library.
2016-01-06 Reto Achermannmemobj_one_frame_one_map: better return value for unmap
2016-01-05 Reto Achermannposixcompat: check for NULL in pthread_create to avoid...
2016-01-05 Reto Achermannlibnuma: make header c++ compatible
2016-01-04 Reto Achermannvspace: adding implementation for memobj_one_frame_one_map
2015-12-31 David CockAdd predependency on schema/cpuid.h for the SKB.
2015-12-10 Simon Gerberinit: unify identical ifdef sections
2015-12-09 Simon GerberMerge branch 'mapping_caps'
2015-12-09 Simon GerberT187: ARMv8: do not use syscall10 for invoke_vnode_map
2015-12-09 Simon GerberT187: x86: add assertion about mapping cap being NULL...
2015-12-09 Simon GerberT187: Move aarch64 code to mapping caps
2015-12-08 Gerd ZellwegerDocumentation: Refactor APIs into specification tech...
2015-12-08 Gerd ZellwegerDocumentation: Integrating sections into Specification.
2015-12-08 Gerd ZellwegerBoxes for DEBUG calls.
2015-12-08 Gerd ZellwegerDocumentation: Added debug system call.
2015-12-08 Gerd ZellwegerDocumentation: Added Object invocation.
2015-12-08 Gerd ZellwegerDocumentation: Add syscalls.
2015-12-08 Gerd ZellwegerUpdate API.
2015-12-08 Gerd ZellwegerUpdated GDT, IDT layout.
2015-12-08 Gerd ZellwegerDocumentation: Described boot process of x86-64.
2015-12-08 Gerd ZellwegerIdentity map the full 1 GiB range.
2015-12-08 Gerd ZellwegerInitial commit of CPU driver technote.
2015-12-08 Gerd ZellwegerClean up formatting and comments for boot.S.
2015-12-04 Simon Gerberlibnuma: fix format and variable mismatch in skb_read_list
2015-12-04 Simon Gerbernewlib: do not ever expose C11's alloc_aligned() on...
2015-12-04 Simon Gerberdmalloc: remove completely unnecessary orignb in bf_dma...
2015-12-04 Simon Gerberharness: fix interactive tests (coreboot) to properly...
2015-12-04 Simon GerberMerge commit 'a7afb24e5eb95a02643cc2d7109e0d2c3fa66da0'
2015-12-04 Simon GerberSquashed 'lib/newlib/' changes from a4e9d13..80180c4
2015-12-03 David CockAdded a spinlock header for AArch64
2015-12-02 Zaheer ChothiaUpgrade Doug Lea's malloc to 2.8.6
2015-11-30 Timothy RoscoeFirst part of cleanup of ARMv7 code; booting on GEM5... release2015-11-02
2015-11-27 David CockARMv8 interrupts now work properly.
2015-11-27 Timothy RoscoeRemoved Heterogeneous PandaBoard support
2015-11-26 David CockMore ARMv8 bugfixes. Boots now.
2015-11-25 David CockFixed build failure for x86_64
2015-11-25 David CockNew ARMv8 vectors mostly work.
2015-11-23 Simon GerberT187: reorder CNode fields to not generate unaligned...
2015-11-23 Simon Gerberkernel: 32bit: fix capability tracing
2015-11-23 Simon GerberT187: armv7: migrate to mapping caps.
2015-11-23 Simon Gerberplatforms: Hakefile: append modules_common to modules_x...
2015-11-23 Simon GerberT187: Update x86_32 to mapping capability interface.
2015-11-23 Simon GerberT187: fix VM kernel interface test
2015-11-23 Simon GerberT187: remove cap_copy() calls when mapping same frame...
2015-11-23 Simon GerberT187: paging_generic: fix unmap_capability()
2015-11-23 Simon GerberT187: fix sprint_cap() formatting
2015-11-23 Simon GerberT187: change vnode_unmap() to only take ptable and...
2015-11-23 Simon GerberT187: Implement modify_flags() on mapping cap
2015-11-23 Simon GerberT187: change vnode_unmap() to take ptable and mapping...
2015-11-23 Simon GerberT187: improve VM kernel interface tests + add harness...
next