barrelfish
2019-04-03 Reto Achermannreplacing umlaute and fixing address in headers Haldene...
2019-04-02 Lukas Humbelpci: add missing flounder dependency
2019-04-01 Daniel SchwynFix extraneous argument in ARMv7 LMP macro
2019-03-21 Lukas HumbelMerge branch 'master' of ssh://code.systems.ethz.ch...
2019-03-21 Lukas Humbelarmv8: fix boot into qemu with make target
2019-03-05 Lukas HumbelMerge branch 'armv7_irq_debug'
2019-03-05 Lukas Humbelarmv7: Disable CPU reading cpu count from GIC
2019-03-05 Lukas Humbelarmv7: Enable serial driver on pandaboard
2019-02-27 Lukas Humbelturn serial pc16550d into module
2019-02-20 Lukas Humbelremove debug prints
2019-02-20 Lukas Humbelarmv7: dist and serial: fix races
2019-02-20 Lukas Humbelarmv7: remove gic dist debug
2019-02-20 Lukas HumbelTurn serial driver into module and fix userspace GIC
2019-02-20 Lukas HumbelARM: Fix kernel IRQ debug printf
2019-01-22 Reto Achermannupdate tools/usbboot to use the right way to ennable...
2019-01-21 Reto Achermanntools/usbboot: replace deprecated set_debug with set_option
2019-01-21 Reto Achermanntools/arm_boot: clear out structs before use
2018-12-19 Simon Gerberdispatcher: remove DISPATCHER_FRAME_BITS, and redefine...
2018-12-19 Simon Gerberlibbarrelfish: heap: correctly determine number of...
2018-12-18 Simon Gerberlibmultiboot: remove unused variable "buf"
2018-12-18 Simon GerberMerge branch 'memory_system'
2018-12-14 Lukas Humbelarmv7: Correct name PL130 to PL390
2018-12-14 Roni Häckie10k: enabling advanced descriptors again
2018-12-14 Simon Gerberdocs: hake: Update technote to briefly describe library...
2018-12-14 Simon Gerberhake,libbarrelfish: simplify libraryOs definition
2018-12-14 Simon Gerberhake: libraryOs flag: use Config.<libraryOsConfig>...
2018-12-14 Simon Gerberacpi, kaluga: Add missing newlines in debug printfs
2018-12-14 Lukas Humbelarmv7: enable timer in kernel
2018-12-13 Lukas Humbelarmv7: Move distributor driver to userspace
2018-12-12 Roni Häckinfs: increased max read size
2018-12-11 Roni Häckihpet: removed generated headers from hpet.h
2018-12-10 Lukas Humbelhpet: dependencies to domain
2018-11-28 Adam Turowskihpet: fixing dependencies
2018-11-27 Adam Turowskihpet: adding a missing flounder binding
2018-11-27 Adam Turowskiarms: unifying interrupts, timers and platform data
2018-11-27 Adam Turowskisystime: adding a relative timeout function
2018-11-15 Simon Gerberlibbarrelfish: pmap_ll: remove debug printf which uses...
2018-11-15 Simon Gerberhamlet: user_cap_predicates.c: only include static_asse...
2018-11-15 Simon Gerberasmoffsets: add #define PMAP_ARRAY to avoid error.
2018-11-15 Simon Gerberlibmdb: remove unnecessary library dependency on libbar...
2018-11-15 Simon Gerberlibbarrelfish: only include hyper interface if building...
2018-11-15 Simon Gerberhake: add Args.addCFlags of libraryOs to extraCxxFlags
2018-11-15 Simon Gerberharness: add memtest variants which link against all...
2018-11-15 Simon Gerberhake: Rewrite libraryOs selection to be more robust.
2018-11-15 Adam Turowskiqemu: adding a custom QEMU_EFI.fd to speed up booting
2018-11-15 Adam Turowskiarm: GICs cleanups
2018-11-14 Adam Turowskiarmv8: adding QEMU UBoot machine (qemu_armv8_uboot_...
2018-11-14 Adam Turowskiarmv8: initial Raspberry Pi 3 support
2018-11-14 Adam Turowskiarmv8: generalizing the interrupt controller
2018-11-14 Adam Turowskiarmv8: EFI Barrelfish loader
2018-11-14 Adam TurowskiMerge commit 'dde1627a841d'
2018-11-13 Simon Gerberhake: cxx: Add libraryOs lib to optCxxLibs
2018-11-13 Simon Gerberkernel,libbarrelfish: Remove Frame identify and Vnode...
2018-11-13 Simon Gerberlibbarrelfish: Add comment why we still need KCB identify
2018-11-13 Simon Gerberkernel: only allow sys_identify_cap() when target is...
2018-11-13 Simon Gerberlibbarrelfish: reimplement deviceid_identify using...
2018-11-13 Simon Gerberlibbarrelfish: implement vnode_identify using cap_identify
2018-11-13 Simon GerberRemove invoke_frame_identify, replaced with frame_ident...
2018-11-13 Simon Gerberlibbarrelfish: endpoints: refactor to make EP managemen...
2018-11-13 Simon Gerberlibbarrelfish: Hakefile: rewrite to use Args subtype
2018-11-13 Simon Gerberhake: Use Args.addCFlags and Args.libraryOs to implemen...
2018-11-13 Simon Gerberlibbarrelfish: Hakefile: fully unify build commands.
2018-11-13 Simon Gerberlibbarrelfish: Hakefile: aarch64: move assembly source...
2018-11-13 Simon Gerbermemtest: add new application build which links against...
2018-11-13 Simon Gerberhake: Add new options parameter libraryOs which allows...
2018-11-13 Simon Gerberlibbarrelfish: Refactor Hakefile to allow building...
2018-11-09 Simon Gerberkernel: access_ok: properly check that buffer is in...
2018-11-09 Simon Gerberkernel: armv7: paging_is_region_valid: add parentheses...
2018-11-08 Simon Gerbertests: distops_delete: use arch-independent invocation...
2018-11-08 Simon Gerberkernel: armv8: add missing invocation handler for Kerne...
2018-11-08 Simon Gerberboot: armv8: reduce ARMV8_CORE_DATA_PAGES to 1100 ...
2018-11-08 Simon Gerbermonitor: armv8: add missing DEBUG_INVOCATION statement...
2018-11-08 Simon GerberEarly cnode allocation: only provide 64 16kB RAM caps...
2018-11-08 Simon Gerberlibbarrelfish: pmap serialisation: global mapping cnode...
2018-11-08 Simon Gerberharness,tests: add malloc() test with different buffer...
2018-11-08 Lukas HumbelMerge branch 'hpet_driver'
2018-11-08 Lukas HumbelHPET fixups
2018-11-07 Simon Gerberlibbarrelfish: pmap_array: pmap_refill_slabs: refill...
2018-11-07 Simon Gerberkernel: cap_delete: clean up delete list handling.
2018-11-07 Simon Gerberkernel: caps_reclaim_ram: zero reclaimed ram slot in...
2018-11-07 Simon Gerberpci: add missing newline in debug output
2018-11-06 Simon Gerbermonitor: RAM reclamation: enqueue first sweep with...
2018-11-06 Simon Gerberharness: mark tests as finished on kernel panics
2018-11-06 Simon Gerberlibbarrelfish: actually free mapping cap slots when...
2018-11-06 Simon Gerberlibbarrelfish: hide mapping cnodes behind #define
2018-11-06 Simon Gerberkernel: x86_64: vmkit: handle_dispatcher_setup_guest...
2018-11-05 Lukas Humbelhpet two part driver
2018-11-02 Simon Gerberlibbarrelfish: early cn allocator: move state to ram_al...
2018-11-02 Simon Gerberharness: interactive tests: give console a couple secon...
2018-11-02 Simon GerberComment about uartX.out_file for armv7 FVP.
2018-11-01 Simon Gerberkernel,monitor: implement reclaiming of previously...
2018-11-01 Simon Gerbercowbench: use new pmap vnode mgmt data layout
2018-11-01 Simon Gerberlibbarrelfish: pmap datastructures: hard-select linked...
2018-10-31 Simon Gerberk1om: add missing libbarrelfish Hakefile stuff and...
2018-10-31 Simon Gerberlibbarrelfish: pmap slab mgmt: move initial regions...
2018-10-31 Simon Gerberrelease builds: fix compiler errors on armv8
2018-10-31 Simon Gerberhake: Fix include directories for ARMv8 kernel linker...
2018-10-30 Simon Gerberlibbarrelfish: Hakefile: libarrakis: build pmap_serialise.c
2018-10-30 Simon Gerberharness: rename distops breakdown benchmarks to bench_d...
2018-10-30 Simon Gerberlibbarrelfish: move (de-)serialisation out of x86 speci...
next