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
..
nova	nova: add guarded access to MSRs	2023-10-25 08:58:52 +02:00
nova_native_cpu	base-nova: update include guard	2023-05-30 12:13:33 +02:00
nova_native_pd	Remove Pd_session::Native_pd definition from API	2021-01-25 12:51:54 +01:00
spec	base-nova: port to new VMM library API	2023-10-04 13:22:04 +02:00