docs: Fix Hakefile comment
[barrelfish] / include /
2020-03-18 Github Security Lab`vallen` is verified to be less than `len`, therefore...
2020-03-06 Roni Häckienet: split queue code into library
2020-03-06 Roni Häckienet: split queue code into library
2019-11-22 Daniel Schwynarmv8: Support no access page mappings
2019-11-18 Lukas Humbelarmv8: implement user space irq routing + lpuart interrupt
2019-11-07 Aya Kayal serial lpuart driver (reading characters and sending...
2019-10-08 Daniel SchwynAdd imx8x platform
2019-09-27 Daniel Schwynarmv8: Fix booting from U-Boot
2019-09-27 Daniel Schwynarmv8: Kernel expects core data also on BSP
2019-09-27 Daniel Schwynarmv8: Improve handling of multiboot info
2019-09-27 Daniel Schwynarmv8: Remove Grub artefact from multiboot2 header
2019-08-20 Reto Achermannfix uses of cycles_t throughout the tree
2019-08-20 Reto Achermannarm: fix signed/unsigned compare in header
2019-08-20 Reto Achermannarmv8: fix signed / unsigned comparison warning
2019-08-20 Reto Achermannlibc:adding missing definitions to nl_types.h
2019-08-20 Reto Achermannlibcxx: update to support armv8
2019-08-20 Reto Achermannarmv8: make all defined target compile (ARMV8_All)
2019-08-20 Reto Achermannx86_64: make all targets compile
2019-07-22 Reto Achermannarmv7: adding rdtscp() alias to make benchmark compile
2019-07-19 Reto Achermannarmv8: work around to set the page-table flags
2019-07-17 Reto Achermanntests/nmk: fix compilation for armv8
2019-04-26 Daniel SchwynARMv7: Map all init frames shareable (coherent)
2019-04-03 Reto Achermannreplacing umlaute and fixing address in headers Haldene...
2019-04-01 Daniel SchwynFix extraneous argument in ARMv7 LMP macro
2019-03-05 Lukas HumbelMerge branch 'armv7_irq_debug'
2019-02-27 Lukas Humbelturn serial pc16550d into module
2019-02-20 Lukas Humbelremove debug prints
2019-02-20 Lukas Humbelarmv7: remove gic dist debug
2019-02-20 Lukas HumbelTurn serial driver into module and fix userspace GIC
2018-12-19 Simon Gerberdispatcher: remove DISPATCHER_FRAME_BITS, and redefine...
2018-12-18 Simon GerberMerge branch 'memory_system'
2018-12-14 Lukas Humbelarmv7: Correct name PL130 to PL390
2018-12-13 Lukas Humbelarmv7: Move distributor driver to userspace
2018-11-14 Adam Turowskiarmv8: initial Raspberry Pi 3 support
2018-11-14 Adam Turowskiarmv8: EFI Barrelfish loader
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 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-08 Simon Gerberboot: armv8: reduce ARMV8_CORE_DATA_PAGES to 1100 ...
2018-11-08 Simon GerberEarly cnode allocation: only provide 64 16kB RAM caps...
2018-11-08 Lukas HumbelMerge branch 'hpet_driver'
2018-11-02 Simon Gerberlibbarrelfish: early cn allocator: move state to ram_al...
2018-11-01 Simon Gerberkernel,monitor: implement reclaiming of previously...
2018-11-01 Simon Gerberlibbarrelfish: pmap datastructures: hard-select linked...
2018-10-31 Simon Gerberlibbarrelfish: pmap slab mgmt: move initial regions...
2018-10-30 Simon Gerberlibbarrelfish: move (de-)serialisation out of x86 speci...
2018-10-30 Simon Gerberlibbarrelfish: armv8: pmap: update for new struct vnode...
2018-10-30 Simon Gerberbarrelfish: x86: pmap: refactor struct vnode.
2018-10-30 Simon Gerberlibbarrelfish, cowbench: move pmap_vnode_mgmt definitio...
2018-10-30 Simon Gerberlibbarrelfish: unified pmap: define pmap_ds_child_t...
2018-10-30 Lukas HumbelHPET: Work on modularized hpet driver
2018-10-23 Simon Gerberlibbf: use cap_direct_identify for frame_identify and...
2018-10-23 Simon Gerberlibbarrelfish: unified pmap: refactor slab refilling.
2018-10-23 Simon Gerberlibbarrelfish: Delete pmap datastructure public headers...
2018-10-23 Simon Gerberlibbarrelfish: control pmap datastructure header throug...
2018-10-23 Simon Gerberlibbarrelfish: pmap: factor out slab refilling from...
2018-10-23 Simon Gerberx86_64: fix clashing #defines for X86_64_PTABLE_ENTRIES
2018-10-22 Simon Gerberx86_64,armv8: fix unified pmap walking and pmap_array...
2018-10-22 Simon Gerberlibbarrelfish: pmap: factor out shadow page traversal...
2018-10-22 Simon Gerberplatform definitions: make PTABLE_ENTRIES an arch-indep...
2018-10-22 Simon Gerberlibbarrelfish: armv8: pmap: add comment about PTABLE_SI...
2018-10-22 Simon Gerberlibbarrelfish: armv8: pmap: switch to fixed mapping...
2018-10-22 Simon Gerberlibbarrelfish: pmap: prepare for deduplicating shadow...
2018-10-22 Simon Gerberarmv8: make compile
2018-10-22 Simon Gerberlibbarrelfish: armv7: pmap: use explicit mapping cnodes...
2018-10-22 Simon Gerberarmv7: make compile
2018-10-22 Simon Gerberlibbarrelfish: heap: explicitly store and propagate...
2018-10-22 Simon GerberMerge upstream (including changes for ubuntu 18.04...
2018-10-22 Simon Gerberx86_64: make sure the Barrelfish-internal CACHE_LINE_SI...
2018-10-22 Simon Gerberkernel,libbarrelfish: implement general purpose direct...
2018-10-22 Simon GerberT383: vnode_inherit: create mapping caps for cloned...
2018-10-22 Simon GerberT384: x86_64: change shadow page tables to have dedicat...
2018-10-22 Simon Gerberlibbarrelfish: pmap: move initial slab buffers back...
2018-10-22 Simon Gerberlibbarrelfish: fix old-style capaddrs in invocation...
2018-10-22 Simon Gerberkernel,x86_64: allow dump of page tables around provide...
2018-10-22 Simon Gerberpmap_cow: properly handle page cloning
2018-10-22 Simon Gerberpmap_array: have separate slab allocator for child...
2018-10-22 Simon Gerberlibbf,redis: make pmap->refill_slabs take a number...
2018-10-22 Simon Gerberkernel: fix remaining merge errors in vspace management...
2018-10-22 Simon Gerberlibbarrelfish: threads: add thread_exited() query
2018-10-22 Simon GerberT167: improvements to copy-on-write benchmark.
2018-10-22 Simon Gerbercheckpoint cow_get_ptable
2018-10-22 Reto Achermannmvas: adding kernel support for raw vnode copy
2018-10-22 Simon GerberMerge memory paper code into memory system branch
2018-10-22 Simon GerberMerge distops benchmarking into memory system branch
2018-10-11 Lukas Humbelhpet source code cleanup
2018-10-09 Adam Turowskiarmv8: adding a missing LMP_FLAG_IDENTIFY flag to invoc...
2018-10-05 Roni HäckiMerge branch 'virtualfunction'
2018-10-04 Adam Turowskiarmv8: fixing the Multiboot2 structure
2018-08-30 Rana AfifiDriver can now trigger and receive interrupts through...
2018-08-24 Adam Turowskiarmv7: fixing VFP support
2018-08-16 Roni Häckidevif: ip queue header benchmark flag fixed
2018-08-14 Roni Häckisolarflare: more detailed benchmarking for the queue
2018-08-14 Roni Häckie10k: added benchmarking queue more detailed
2018-08-14 Roni Häckilibnet: net queue add some benchmarking code
2018-08-09 Roni Häckidevif: extended udp queue test to also measure time...
2018-08-09 Rana AfifiHPET Driver which now can configure FSB interrupts...
next