genode/repos/base-nova/src
Alexander Boettcher 509e5aa776 platform(x86): report features via platform_info
Report via platform_info the capabilities of the kernel, e.g. ACPI and MSI.

With the commit the try-catch pattern on IRQ session creation by the platform
driver is avoided.

Issue #4016
2021-05-28 14:16:44 +02:00
..
core platform(x86): report features via platform_info 2021-05-28 14:16:44 +02:00
include base: refactor VM/vCPU API 2021-02-23 12:07:18 +01:00
kernel/nova nova: adjust to g++ 8.3.0 2019-05-27 14:52:52 +02:00
lib base: refactor VM/vCPU API 2021-02-23 12:07:18 +01:00
test/platform base: remove delayed dispatch from Rpc_entrypoint 2020-08-25 11:42:36 +02:00
timer/nova timeout: rework timeout framework 2020-10-09 13:35:56 +02:00