alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

platform_info: add kernel information (fix #3295)

Browse Source
This commit is contained in:
Stefan Kalkowski
2019-04-17 12:51:39 +02:00
committed by Christian Helmuth
parent c38c80fd43
commit f42c21f16b
9 changed files with 91 additions and 80 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -404,6 +404,7 @@ 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("hardware", [&] () {
xml.node("features", [&] () {
#ifdef CONFIG_VTX