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.mk	nova: add guarded access to MSRs	2023-10-25 08:58:52 +02:00
ld-nova.mk	Genode application binary interface (ABI)	2016-12-23 16:50:28 +01:00
startup-nova.mk	Disambiguate kernel-specific file names	2016-12-23 16:51:32 +01:00