ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-21 18:06:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: add tsc and svm/vmx feature to platform_info

Browse Source 
Issue #2710
This commit is contained in:
Alexander Boettcher 2018-03-27 13:40:53 +02:00 committed by Christian Helmuth
parent bc2a998261
commit a6a196f042
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -378,6 +378,16 @@ void Platform::_init_rom_modules()
Genode::Xml_generator xml(reinterpret_cast<char *>(virt_addr),
rom_size, rom_name, [&] ()
{
xml.node("hardware", [&] () {
xml.node("features", [&] () {
xml.attribute("svm", false);
xml.attribute("vmx", false);
});
xml.node("tsc", [&] () {
xml.attribute("freq_khz" , bi.archInfo * 1000UL);
});
});
if (!bi.extraLen)
return;