Alexander Boettcher e36170c997 nova: add guarded access to MSRs ...

via Genode Pd::system_control interface

Issue #5009

2023-10-25 08:58:52 +02:00

..

core

nova: add guarded access to MSRs

2023-10-25 08:58:52 +02:00

include

base: remove env_deprecated from signalling code

2023-07-14 12:06:31 +02:00

kernel/nova

base-nova: prevent linker warning

2023-05-30 12:03:28 +02:00

lib/base

base-nova: port to new VMM library API

2023-10-04 13:22:04 +02:00

test/platform

nova: make compatible with C++20

2023-05-30 12:03:30 +02:00

timer/nova

timeout: rework timeout framework

2020-10-09 13:35:56 +02:00