denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

platform(x86): report features via platform_info

Browse Source 
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
This commit is contained in:
Alexander Boettcher
2021-05-25 08:12:53 +02:00
committed by Christian Helmuth
parent e1abd2db4e
commit 509e5aa776
6 changed files with 51 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
repos/base-sel4/src/core/platform.cc
View File

@@ -404,7 +404,10 @@ void Platform::_init_rom_modules()
tsc_freq const * boot_freq = reinterpret_cast<tsc_freq const *>(reinterpret_cast<addr_t>(element) + sizeof(* element));
xml.node("kernel", [&] () { xml.attribute("name", "sel4"); });
xml.node("kernel", [&] () {
xml.attribute("name", "sel4");
xml.attribute("acpi", true);
});
xml.node("hardware", [&] () {
xml.node("features", [&] () {
#ifdef CONFIG_VTX