From a6a196f042b2bf92f1f71640982e056b9a5b6dc9 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 27 Mar 2018 13:40:53 +0200
Subject: [PATCH] sel4: add tsc and svm/vmx feature to platform_info

Issue #2710
---
 repos/base-sel4/src/core/platform.cc | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/repos/base-sel4/src/core/platform.cc b/repos/base-sel4/src/core/platform.cc
index a960511af2..2172c0dc78 100644
--- a/repos/base-sel4/src/core/platform.cc
+++ b/repos/base-sel4/src/core/platform.cc
@@ -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;