genode/repos/base-nova
Norman Feske 9d67f9fc8e Remove Allocator_guard
This patch removes old 'Allocator_guard' utility and replaces its use
with the modern 'Constrained_ram_allocator'.

The adjustment of core in this respect has the side effect of a more
accurate capability accounting in core's CPU, TRACE, and RM services.
In particular, the dataspace capabilities needed for core-internal
allocations via the 'Sliced_heap' are accounted to the client now.
The same goes for nitpicker and nic_dump as other former users of the
allocator guard. Hence, the patch also touches code at the client and
server sides related to these services.

The only remaining user of the 'Allocator_guard' is the Intel GPU
driver. As the adaptation of this component would be too invasive
without testing, this patch leaves this component unchanged by keeping a
copy of the 'allocator_guard.h' locally at the component.

Fixes #3750
2020-05-18 10:16:12 +02:00
..
etc Add unified build directories to create_builddir 2017-01-13 13:05:44 +01:00
include core: use Mutex/Blockade 2020-04-17 12:40:12 +02:00
lib/mk base: lay groundwork for base-linux caps change 2020-02-27 14:46:58 +01:00
mk/spec Disambiguate kernel-specific file names 2016-12-23 16:51:32 +01:00
patches Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
ports nova: add requesting time of killed SCs 2019-12-19 17:01:42 +01:00
recipes depot: update recipe hashes 2020-04-24 14:37:57 +02:00
run base: rm first-class support for static binaries 2018-08-02 14:36:38 +02:00
src Remove Allocator_guard 2020-05-18 10:16:12 +02:00
README Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00

This repository contains the port of Genode to the NOVA microhypervisor.

For more information on this base platform, please refer to the official
website.

:[http://hypervisor.org]: Official website for the NOVA microhypervisor.

For information on using Genode on NOVA, please revisit the documentation at
'base-nova/doc/nova.txt':