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

..

core

nova: uefi boot support using multiboot2

2017-06-29 11:59:50 +02:00

include

nova: fix syscall bindings with GCC 6

2017-05-31 13:15:52 +02:00

kernel/nova

nova: fix irq handling for qemu 2.7 and newer

2017-03-15 12:33:49 +01:00

lib

core: simplify initialization

2017-05-31 13:16:12 +02:00

test/platform

os: removal of deprecated os/config.h (fix #2431)

2017-05-31 13:16:22 +02:00