2019-05-08 Reto Achermanngitlab-ci: adding test that there are no unmerged files
2019-05-07 Reto Achermanngitlab-ci: store the build log on failure
2019-05-07 Reto Achermanngitlab-ci: adding cleanup job
2019-05-07 Reto Achermanngitlab-ci: using moderate parallelism for running builds
2019-05-07 Reto Achermannhake: adding flags to just run hake, without initial...
2019-05-07 Reto Achermanngitlab-ci: adding basic compilation tests for x86_64...
2019-05-07 Lukas HumbelFix irqtest build
2019-05-07 Reto Achermanngitlab-ci: adding test to compile hake
2019-05-07 Reto AchermannMerge branch 'master' of
2019-05-07 Reto Achermanngitlab-ci: require new commits to be signed off to...
2019-05-07 Reto AchermannFIXUP: adding gitlab-ci.yml to check for non-signed...
2019-05-07 Reto Achermannadding gitlab-ci.yml to check for non-signed off commits
2019-05-06 Lukas HumbelMerge branch 'hake_deps'
2019-05-06 Lukas Humbelarmv8: Improve readme
2019-05-06 Lukas Humbelhake: Generate PL database with driverdomain/modules
2019-05-06 Lukas Humbelhake: Two pass to minimize memory consumption
2019-04-26 Daniel SchwynARMv7: Map all init frames shareable (coherent)
2019-04-17 Lukas Humbelserial: Fix armv7
2019-04-17 Lukas Humbelsockeye: Import barebones.soc file and add hake rule
2019-04-17 Lukas Humbelsockeye: Import LISA backend
2019-04-16 Lukas Humbelarmv8: add proc_mgmt to menu lst
2019-04-16 Lukas Humbelarmv8: Fix mem_alloc on matching caps in init
2019-04-16 Lukas Humbelarmv8: Remove debug printf
2019-04-16 Lukas Humbelimport Sven's barebones system
2019-04-10 Reto Achermannhake: change path of the fast models to /home/netos
2019-04-09 Reto Achermannintegration of ARM FastModels into Hake
2019-04-03 Reto Achermannlib/introute: fixing missing flounder defs in Hakefile
2019-04-03 Reto Achermannreplacing umlaute and fixing address in headers Haldene...
2019-04-02 Lukas Humbelpci: add missing flounder dependency
2019-04-02 Lukas Humbelhake: Ensure correct symbols get linked
2019-04-01 Daniel SchwynFix extraneous argument in ARMv7 LMP macro
2019-03-28 Lukas Humbelhake: Make proper use of lib dependencies
2019-03-21 Lukas Humbelhake: enable library dependencies on all platforms
2019-03-21 Lukas HumbelMerge branch 'master' of ssh://
2019-03-21 Lukas Humbelarmv8: fix boot into qemu with make target
2019-03-19 Lukas Humbelhake: correct lib dependencies on linking
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...