barrelfish
2016-06-09 Simon GerberMerge GitHub PR1. release2016-06-10
2016-06-08 Simon Gerberirqtest: fix frame_identity init
2016-06-07 Simon Gerberharness: fix buildall target to be configurable on...
2016-06-07 Simon GerberMerge branch 'caps_next'
2016-06-02 Reto Achermannlibgmp: remove dependency to libbarrelfish
2016-05-25 Simon GerberT238: fix renaming mistake
2016-05-25 Simon GerberT238: fix vnode_objsize() to not use BASE_PAGE_SIZE...
2016-05-24 Reto Achermannfixing undefined global in spantest-exit. closes T220
2016-05-23 Simon GerberT238: change kernel to use new vnode_objsize() when...
2016-05-23 Simon GerberT242: handle FLOUNDER_ERR_TX_BUSY for all capops
2016-05-23 Simon GerberT242: handle FLOUNDER_ERR_TX_BUSY in usr/monitor/capops...
2016-05-23 Reto Achermannmaking K1OM_Full build again
2016-05-17 Lukas HumbelT89: Reverting (again) the first version of the routing...
2016-05-17 Lukas HumbelAdd appenzeller to machines with broken bridge programming
2016-05-17 Simon GerberRemove unneeded printk() in kernel/startup.c
2016-05-17 Simon GerberT191: xeon_phi: Update driver to use new API and minor...
2016-05-17 Lukas HumbelT89: Make missing ACPI bridge entry non fatal.
2016-05-17 Lukas HumbelT89: Revert irq_routing.pl to swizzling one
2016-05-17 Lukas HumbelT89: Improve irqtest
2016-05-17 Lukas HumbelT89: ACPI path names can be longer than 16 chars.
2016-05-17 Lukas HumbelACPI/PCI: Improved output
2016-05-17 Lukas HumbelGMP: Add escaping to CC argument. Allows to use compile...
2016-05-10 Simon GerberT191: x86_64: make it compile again
2016-05-10 Simon Gerberkernel: paging_generic: compile_vaddr: handle case...
2016-05-09 Simon GerberT191: init: use mm_add_multi in initialize_ram_alloc()
2016-05-09 Simon GerberT191: remove commented-out cap splitting in caps_create...
2016-05-09 Simon Gerbergem5: Fix menu.lst.arm_gem5_mc to set mmap to 256MB...
2016-05-09 Simon GerberT191: armv7: refactor code to use range retype and...
2016-05-09 Simon GerberT191: aarch64: fix monitor invoke_retype
2016-05-09 Lukas HumbelFixup
2016-05-09 Lukas HumbelT89: Add irqtest to harness
2016-05-09 Lukas HumbelT89: irqtest output improved
2016-05-09 Lukas HumbelT89: Dont swizzle pins when doing the PIN lookup.
2016-05-09 Lukas HumbelT89: Discover and disable all PCI link devices on boot.
2016-05-09 Lukas HumbelT89: Discover PCI IRQ Routing tables using correct...
2016-05-09 Lukas HumbelT89: Added a test to test PCI interrupts using e1000...
2016-05-09 Simon Gerberharness: add build type for armv7 gem5+debug symbols
2016-05-09 Lukas HumbelT89: Better ACPI debug output
2016-04-29 Simon Gerbervspace_pinned_alloc: dump errors so that we get full...
2016-04-29 Simon GerberT191: cleanup comments and some TODOs
2016-04-29 Simon GerberT191: aarch64: implement invocations and related change...
2016-04-29 Simon GerberT191: rename testsuite from caps_next to capops
2016-04-29 Simon GerberT191: x86_64: refactor retype2 back to retype
2016-04-22 Simon GerberT191: python script to generate dot file to plot mdb...
2016-04-22 Simon GerberT191: User space works again with reduced set of provid...
2016-04-21 Simon GerberT191: T231: caps_create_new() now takes region and...
2016-04-20 Simon GerberT191: T231: rename caps_create->caps_create_old and...
2016-04-20 Simon GerberT191: change all of user space to call new retype direc...
2016-04-20 Simon GerberT191: kernel: add debug prints about zeroing
2016-04-20 Simon GerberT191: remove old caps_retype() code from kernel
2016-04-20 Simon GerberT191: minor changes to retype2 test output
2016-04-20 Simon GerberT191: add warning about use of old retype
2016-04-20 Simon GerberT191: Fix zeroing for !(type == Frame)
2016-04-20 Simon GerberT191: write multi retype test and add test_retype2...
2016-04-20 Simon GerberFix cap tracing static assert
2016-04-20 Simon GerberT191: update monitor capops retype
2016-04-20 Simon GerberT191: call invoke_cnode_retype2 with count = 0 from...
2016-04-19 Simon GerberT191: fix wrong error
2016-04-19 Simon GerberT191: fix missing arg in cap_retype2()
2016-04-19 Simon GerberT191: rearrange check in kernel, do easy checks first...
2016-04-19 Simon GerberT191: add tests delete+retype and misaligned size and...
2016-04-19 Simon GerberT191: comment arg dumping for retype2 and add comment...
2016-04-19 Simon GerberT191: fix retype2 for overlapping requests + tests...
2016-04-19 Simon GerberT191: fix simple test
2016-04-19 Simon GerberT191: retype2: more testing of simple success cases
2016-04-18 Simon GerberT191: Fix missed renaming of test
2016-04-18 Simon GerberT191: simple range check to allow non-overlapping retyp...
2016-04-18 Simon GerberT191: fix test output to describe tests more accurately...
2016-04-18 Simon GerberT191: add testing for new retype code; not complete
2016-04-18 Simon GerberImplement identify command for ObjType_RAM
2016-04-18 Simon GerberT191: fix wrong command in invoke_cnode_retype2, and...
2016-04-18 Simon Gerberqemu-wrapper: Fix typo in default hd file
2016-04-18 Simon Gerberharness,qemu wrapper: Make harness use qemu wrapper...
2016-04-18 Simon GerberT191: Implement prototype for new retype
2016-04-18 Simon GerberSquashed changes of e89aa91..6ca6bdf (master as of...
2016-04-18 Simon Gerberarmv7-m: port mapping capability changes
2016-04-18 Simon Gerberharness: Remove x86_32 from buildarchs for x86_64 ethz...
2016-04-18 Simon Gerberarmv7-m: fix missing bits in posixcompat, compiler...
2016-04-15 Lukas HumbelIRQ: Correctly setup pci device interrupts
2016-04-13 Lukas Humbellpc_timer: Fix for multiple clients
2016-04-12 Simon Gerberharness: dynamically generate "enough" compiler-rt...
2016-04-11 David CockARMv8 report bib fixes
2016-04-11 David CockARMv8 report formatting fixups.
2016-04-11 David CockARMv8 report is content complete.
2016-04-11 David CockARMv8 report S4.1 (user-space threading)
2016-04-11 David CockARMv8 report looking good up to S3.1
2016-04-11 David CockRerun pdflatex in more cases.
2016-04-11 David CockARMv8 tech report
2016-04-08 Lukas HumbelIRQ: bugfix (no index variable shadow)
2016-04-07 Lukas HumbelIRQ: added support to X86_32 kernel
2016-04-07 Lukas HumbelIRQ: added invocations to x86_32
2016-04-06 Lukas HumbelIRQ: ARM invocations added
2016-04-06 Lukas HumbelIRQ: refactoring caps names
2016-04-06 Lukas HumbelIRQ: Now using (again) a table of ep caps for dispatch...
2016-04-06 Lukas HumbelIRQ: Found bug, added assertion
2016-04-06 Lukas HumbelIRQ: added irq source capability and make the inthandle...
2016-04-06 Lukas HumbelIRQ: Making the code actually work. ACPI interface
2016-04-06 Lukas HumbelAdded ACPI_SERVICE_DEBUG to Config.hs.template
2016-04-06 Lukas HumbelIRQ: changed kernel to use irq_dest_cap table with...
2016-04-06 Lukas HumbelIRQ: added IRQVector cap
next