genode/repos/os/src/lib
Stefan Kalkowski 06edc0d52b base: extend PD session with managing_system call
Introduce the managing_system privilege for components like the
platform_driver to allow it to call system management functionality
that is reserved by kernel or special firmware, e.g., ARM Trusted Firmware.

The former RAM resource configuration attribute `constrain_phys`,
which enabled to constrain the region of physical RAM to be used,
gets replaced by the new, broader managing_system configuration
attribute of a `start` node. It gets enforced by the sandbox library.

Ref #3816
2020-08-25 11:50:11 +02:00
..
blit os: increase throughput of blit for ARM 64-bit 2020-02-04 16:01:35 +01:00
net Remove dead code 2019-12-19 16:59:03 +01:00
sandbox base: extend PD session with managing_system call 2020-08-25 11:50:11 +02:00
trace/policy trace: log_output policy that redirects logs to trace 2020-04-17 12:47:35 +02:00
vfs vfs: add raw option to terminal plugin 2020-08-25 11:50:11 +02:00