genode/repos/base-nova/include
Alexander Boettcher f30f0a81e0 nova: uefi boot support using multiboot2
- kernel provides ACPI RSDT/XSDT pointer
- core exports it via a ROM called "platform_info"

Issue #2242
2017-06-29 11:59:50 +02:00
..
cpu_thread Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
nova nova: uefi boot support using multiboot2 2017-06-29 11:59:50 +02:00
nova_native_cpu nova: use 'Native_cpu' component for thread initialization 2017-03-15 12:24:42 +01:00
nova_native_pd Capability quota accounting and trading 2017-05-31 13:16:06 +02:00
spec nova: support asynchronous delegate 2016-11-25 15:30:57 +01:00