diff --git a/repos/base-sel4/src/core/platform.cc b/repos/base-sel4/src/core/platform.cc
index a960511af..2172c0dc7 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;