Reto Achermann [Wed, 3 Apr 2019 13:33:05 +0000]
replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Lukas Humbel [Tue, 2 Apr 2019 09:48:43 +0000]
pci: add missing flounder dependency
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Daniel Schwyn [Mon, 1 Apr 2019 09:51:10 +0000]
Fix extraneous argument in ARMv7 LMP macro
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
Lukas Humbel [Thu, 21 Mar 2019 10:16:54 +0000]
Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 20 Mar 2019 15:36:39 +0000]
armv8: fix boot into qemu with make target
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 5 Mar 2019 15:50:06 +0000]
Merge branch 'armv7_irq_debug'
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 5 Mar 2019 15:46:53 +0000]
armv7: Disable CPU reading cpu count from GIC
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 5 Mar 2019 12:36:53 +0000]
armv7: Enable serial driver on pandaboard
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 27 Feb 2019 14:41:19 +0000]
turn serial pc16550d into module
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 20 Feb 2019 14:30:02 +0000]
remove debug prints
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 20 Feb 2019 14:07:14 +0000]
armv7: dist and serial: fix races
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 20 Feb 2019 13:49:05 +0000]
armv7: remove gic dist debug
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 20 Feb 2019 13:40:41 +0000]
Turn serial driver into module and fix userspace GIC
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 20 Feb 2019 12:30:15 +0000]
ARM: Fix kernel IRQ debug printf
When waiting for interrupt inside the kernel, we dont have no
current dcb.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Reto Achermann [Tue, 22 Jan 2019 14:03:02 +0000]
update tools/usbboot to use the right way to ennable debug
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Mon, 21 Jan 2019 08:05:20 +0000]
tools/usbboot: replace deprecated set_debug with set_option
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Mon, 21 Jan 2019 08:04:45 +0000]
tools/arm_boot: clear out structs before use
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Simon Gerber [Wed, 19 Dec 2018 20:54:19 +0000]
dispatcher: remove DISPATCHER_FRAME_BITS, and redefine DISPATCHER_FRAME_SIZE as 512kB.
This is necessary with the new contents struct dispatcher_<arch> when
using array-based pmap on larger machines, as we otherwise run out of
room for LMP channel receive buffers in the SKB.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 19 Dec 2018 20:52:48 +0000]
libbarrelfish: heap: correctly determine number of page to allocate in internal morecore
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 14 Dec 2018 14:18:17 +0000]
libmultiboot: remove unused variable "buf"
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 18 Dec 2018 15:54:06 +0000]
Merge branch 'memory_system'
This merges the work done on the memory system.
Main features:
* different pmap implementations: array-based and linked-list
* Infrastructure for copy-on-write and other advanced memory management
techniques
* A hake feature which allows individual selection of a library OS to
link against on a per application/library basis
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Lukas Humbel [Fri, 14 Dec 2018 16:42:40 +0000]
armv7: Correct name PL130 to PL390
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Roni Häcki [Fri, 14 Dec 2018 14:29:52 +0000]
e10k: enabling advanced descriptors again
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Simon Gerber [Fri, 14 Dec 2018 14:00:59 +0000]
docs: hake: Update technote to briefly describe library OS selection
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 14 Dec 2018 13:59:22 +0000]
hake,libbarrelfish: simplify libraryOs definition
Remove duplicated library OS extra flags and target names in
lib/barrelfsih/Hakefile. Use target and flags defined in Config.hs when
building library OS for a particular library OS variant.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 14 Dec 2018 13:05:53 +0000]
hake: libraryOs flag: use Config.<libraryOsConfig> when building the library OS itself instead of repeating the flags in the Hakefile
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 16 Nov 2018 22:22:02 +0000]
acpi, kaluga: Add missing newlines in debug printfs
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Lukas Humbel [Fri, 14 Dec 2018 10:20:42 +0000]
armv7: enable timer in kernel
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Thu, 13 Dec 2018 14:20:16 +0000]
armv7: Move distributor driver to userspace
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Roni Häcki [Wed, 12 Dec 2018 10:25:36 +0000]
nfs: increased max read size
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Tue, 11 Dec 2018 14:02:03 +0000]
hpet: removed generated headers from hpet.h
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Lukas Humbel [Mon, 10 Dec 2018 12:53:23 +0000]
hpet: dependencies to domain
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Adam Turowski [Wed, 28 Nov 2018 09:00:10 +0000]
hpet: fixing dependencies
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Tue, 27 Nov 2018 15:33:18 +0000]
hpet: adding a missing flounder binding
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Tue, 27 Nov 2018 12:48:29 +0000]
arms: unifying interrupts, timers and platform data
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Tue, 27 Nov 2018 12:43:17 +0000]
systime: adding a relative timeout function
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Simon Gerber [Thu, 15 Nov 2018 16:54:59 +0000]
libbarrelfish: pmap_ll: remove debug printf which uses too many __builtin_return_address() for armv8
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 15 Nov 2018 16:36:22 +0000]
hamlet: user_cap_predicates.c: only include static_assert.h and barrelfish_kpi/capabilities.h instead of barrelfish/barrelfish.h
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 15 Nov 2018 16:35:16 +0000]
asmoffsets: add #define PMAP_ARRAY to avoid error.
This would have to be revisited if we ever need an asm offset for any of
the pmap data structure fields!
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 15 Nov 2018 16:34:42 +0000]
libmdb: remove unnecessary library dependency on libbarrelfish
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 15 Nov 2018 16:34:14 +0000]
libbarrelfish: only include hyper interface if building libarrakis
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 15 Nov 2018 16:33:52 +0000]
hake: add Args.addCFlags of libraryOs to extraCxxFlags
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 15 Nov 2018 16:06:18 +0000]
harness: add memtest variants which link against all available library os implementations.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 15 Nov 2018 15:59:32 +0000]
hake: Rewrite libraryOs selection to be more robust.
This commit replaces the String libraryOs in Args.Args with a (Maybe
Args) and the rule macros for building applications and libraries
respect the fields addCFlags, addCxxFlags, omitCFlags, omitCxxFlags, and
addLinkFlags of the provided Args.libraryOs.
The Args.target of the Args.libraryOs of the application macro is used
to select the right library os archive for the linker.
The Library OS Hakefile itself needs to set the library's Args.libraryOs
to an empty Args because a Nothing Args.libraryOs will be replaced with
an architecture-specific default library OS as defined in Config.hs.
All available library OS implementations need to have a (Maybe Args) in
Config.hs which can then be specified in application and library
Hakefiles.
This commit also introduces more libbarrelfish variants for all
combinations of {pmap_array, pmap_ll} x {slot_alloc'd mappings, mapping
cnodes}, for architectures that support different pmap implementations,
i.e. x86_64, aarch64 and k1om.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Adam Turowski [Thu, 15 Nov 2018 14:57:02 +0000]
qemu: adding a custom QEMU_EFI.fd to speed up booting
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 15 Nov 2018 14:55:38 +0000]
arm: GICs cleanups
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Mon, 29 Oct 2018 13:04:46 +0000]
armv8: adding QEMU UBoot machine (qemu_armv8_uboot_*) to harness
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Fri, 26 Oct 2018 09:53:25 +0000]
armv8: initial Raspberry Pi 3 support
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Fri, 26 Oct 2018 09:51:26 +0000]
armv8: generalizing the interrupt controller
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Fri, 26 Oct 2018 09:48:04 +0000]
armv8: EFI Barrelfish loader
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Wed, 14 Nov 2018 11:33:39 +0000]
Merge commit '
dde1627a841d'
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Simon Gerber [Tue, 13 Nov 2018 21:25:23 +0000]
hake: cxx: Add libraryOs lib to optCxxLibs
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 13 Nov 2018 19:33:08 +0000]
kernel,libbarrelfish: Remove Frame identify and Vnode identify invocation handlers and commands
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 13 Nov 2018 19:32:43 +0000]
libbarrelfish: Add comment why we still need KCB identify
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 13 Nov 2018 19:32:20 +0000]
kernel: only allow sys_identify_cap() when target is L1 CNode
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 13 Nov 2018 19:31:34 +0000]
libbarrelfish: reimplement deviceid_identify using cap_identify.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 13 Nov 2018 19:03:55 +0000]
libbarrelfish: implement vnode_identify using cap_identify
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 13 Nov 2018 18:59:31 +0000]
Remove invoke_frame_identify, replaced with frame_identify().
This commit fully removes the Frame_Identify invocation and replaces the
calls with frame_identify().
Additionally, because the KCB is special, this commit introduces a new
invocation kcb_identify() which translates the lvaddr in the KCB
capability into the pysical address of the kernel control block.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 13 Nov 2018 18:53:16 +0000]
libbarrelfish: endpoints: refactor to make EP management invocations unnecessary.
This commit implements endpoint_identify using cap_direct_identify and
endpoint_set_iftype using cap_mint.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 13 Nov 2018 16:03:59 +0000]
libbarrelfish: Hakefile: rewrite to use Args subtype
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 13 Nov 2018 15:21:06 +0000]
hake: Use Args.addCFlags and Args.libraryOs to implement arrakisapplication
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 13 Nov 2018 15:18:26 +0000]
libbarrelfish: Hakefile: fully unify build commands.
This commit simplifies the libbarrelfish Hakefile to only state the
sources for libbarrelfish once, and allows selecting #defines and extra
Flounder interfaces per library OS.
TODO: allow inclusion of variant-specific source files and include
paths.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 7 Nov 2018 13:31:02 +0000]
libbarrelfish: Hakefile: aarch64: move assembly source to arch_assembly
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 6 Nov 2018 17:40:19 +0000]
memtest: add new application build which links against barrelfish_mcn instead of barrelfish
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 6 Nov 2018 17:39:57 +0000]
hake: Add new options parameter libraryOs which allows applications to select which libOs to link against
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 6 Nov 2018 17:39:28 +0000]
libbarrelfish: Refactor Hakefile to allow building multiple versions of libbf with different #defines
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 9 Nov 2018 22:37:50 +0000]
kernel: access_ok: properly check that buffer is in user space
Check that all of the provided buffer is in user space rather than just
the buffer's base address.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 9 Nov 2018 22:36:39 +0000]
kernel: armv7: paging_is_region_valid: add parentheses around bitwise ops for readability
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 8 Nov 2018 14:23:28 +0000]
tests: distops_delete: use arch-independent invocation to test presence of cap
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 8 Nov 2018 14:09:03 +0000]
kernel: armv8: add missing invocation handler for KernelCmd_Is_retypeable
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 8 Nov 2018 14:08:41 +0000]
boot: armv8: reduce ARMV8_CORE_DATA_PAGES to 1100 (from 1500).
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 8 Nov 2018 14:08:12 +0000]
monitor: armv8: add missing DEBUG_INVOCATION statement in invoke_monitor_is_retypeable
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 8 Nov 2018 12:58:08 +0000]
Early cnode allocation: only provide 64 16kB RAM caps per domain for early cnode allocator
This allows us to decrease CORE_DATA_PAGES to 1100 (from 2200), because
we don't need to allocate as many 16kB regions for the monitor on each
core.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 8 Nov 2018 12:57:22 +0000]
libbarrelfish: pmap serialisation: global mapping cnodes: allocate mapping cnodes in deserialise() when GLOBAL_MCN is set
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 6 Nov 2018 17:40:50 +0000]
harness,tests: add malloc() test with different buffer sizes
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Lukas Humbel [Thu, 8 Nov 2018 12:58:30 +0000]
Merge branch 'hpet_driver'
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Thu, 8 Nov 2018 12:26:29 +0000]
HPET fixups
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Simon Gerber [Wed, 7 Nov 2018 13:31:47 +0000]
libbarrelfish: pmap_array: pmap_refill_slabs: refill vnode slabs again after refilling ptslabs
We need to ensure that we still have enough free vnode slabs after calls
to refill ptslabs, so we refill vnode slab again after refilling ptslabs.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 7 Nov 2018 11:05:51 +0000]
kernel: cap_delete: clean up delete list handling.
This commit ensures that the delete list is always in a consistent state
when a function that could potentially add elements to it is called.
This is necessary, because when there is one CNode remaining in the
delete list, this CNode needs to be shuffled into the clear list by
caps_delete_last(). For this to happen, the CNode must not be in the
delete list anymore. Previously we just cached the next element of the
delete list, cleared the CNode's delete list pointer, but didn't fully
remove the cte from the delete list.
However, there is the possibility that caps_delete_last() will also
insert capabilities in that CNode into the delete list. Previously
these insertions would happen on the inconsistent delete list, and would
be lost after caps_delete_last() completes without errors, as
caps_delete_step() used a cached version of the delete list's next
element (i.e. NULL in this scenario) to restore the delete list to a
consistent state, thereby losing the elements just added to the delete
list by caps_delete_last().
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 7 Nov 2018 11:05:32 +0000]
kernel: caps_reclaim_ram: zero reclaimed ram slot in KCB.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 7 Nov 2018 10:47:54 +0000]
pci: add missing newline in debug output
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 6 Nov 2018 22:54:32 +0000]
monitor: RAM reclamation: enqueue first sweep with 10ms delay (down from 1s).
This change avoids the issue that was observed in the coreboot tests
where the reclaim sweep debug output sometimes garbles output from fish
which the test harness uses to detect that fish is ready for input.
Additionally, this commit reverts commit
f12f652639a0ede42242c841a3e61f2fb3681b62 which added a 5 second delay in
the interactive harness test to try and avoid garbling test-relevant
shell output.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 6 Nov 2018 20:55:19 +0000]
harness: mark tests as finished on kernel panics
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 6 Nov 2018 20:54:50 +0000]
libbarrelfish: actually free mapping cap slots when not using mapping cnodes
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 6 Nov 2018 17:32:45 +0000]
libbarrelfish: hide mapping cnodes behind #define
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 6 Nov 2018 16:41:22 +0000]
kernel: x86_64: vmkit: handle_dispatcher_setup_guest: save guest root pt address in dcb->vspace and dcb->guest_desc.vspace.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Lukas Humbel [Mon, 5 Nov 2018 14:10:50 +0000]
hpet two part driver
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Simon Gerber [Fri, 2 Nov 2018 21:58:48 +0000]
libbarrelfish: early cn allocator: move state to ram_alloc_state
Each dispatcher is provided with a L2 CNode filled with 16kB RAM
capabilities for the purpose of allocating more L2 CNodes before the
connection with the memory server is established.
The first implementation of this early_cn allocator simply used a static
local variable to keep track of which 16kB RAM caps have been handed out
yet. Naturally, this does not work correctly in combination with domain
spanning.
To fix this allocator in the presence of spanned domains, this commit
moves the "next free" indicator into the ram allocator state (struct
ram_alloc_state).
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Nov 2018 10:17:07 +0000]
harness: interactive tests: give console a couple seconds after starting so we avoid test-relevant output being garbled
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Nov 2018 09:46:58 +0000]
Comment about uartX.out_file for armv7 FVP.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 1 Nov 2018 22:40:09 +0000]
kernel,monitor: implement reclaiming of previously dropped ram caps.
Until now, if the kernel couldn't return a freed region of physical
memory to the monitor, e.g. because the monitor was not ready yet, or
the monitor's receive slot is already occupied, it would drop the range
and print a diagnostic message.
With this change, the cpu driver has 4 slots per KCB in which it can
store a range that would be dropped. The monitor gets a new kernel cap
invocation which allows it to retrieve one of the stored slots, if any.
The monitor runs a deferred event loop which checks if there's a range
to retrieve every second, and forwards any retrieved ranges to the
memory server.
The retrieval is very similar to a capops delete step, but does not
happen inside the capops machinery because the need for an action are
not coupled to a capability operation.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 1 Nov 2018 09:19:23 +0000]
cowbench: use new pmap vnode mgmt data layout
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 1 Nov 2018 09:18:54 +0000]
libbarrelfish: pmap datastructures: hard-select linked-list pmap for armv7
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 31 Oct 2018 14:13:59 +0000]
k1om: add missing libbarrelfish Hakefile stuff and missing #define
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 31 Oct 2018 13:20:33 +0000]
libbarrelfish: pmap slab mgmt: move initial regions for slab allocators into core state.
If we have the initial regions in the data section of the binary, we
break domain spanning.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 31 Oct 2018 08:04:06 +0000]
release builds: fix compiler errors on armv8
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 31 Oct 2018 08:03:44 +0000]
hake: Fix include directories for ARMv8 kernel linker script
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 30 Oct 2018 20:48:15 +0000]
libbarrelfish: Hakefile: libarrakis: build pmap_serialise.c
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 30 Oct 2018 20:47:11 +0000]
harness: rename distops breakdown benchmarks to bench_distops_breakdown_*.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Mon, 29 Oct 2018 19:32:47 +0000]
libbarrelfish: move (de-)serialisation out of x86 specific code. Use in aarch64 also.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
projects / barrelfish / log