diff --git a/repos/base-hw/src/core/spec/x86_64/platform_support.cc b/repos/base-hw/src/core/spec/x86_64/platform_support.cc
index 6dbc0262c..cb6f4cdd6 100644
--- a/repos/base-hw/src/core/spec/x86_64/platform_support.cc
+++ b/repos/base-hw/src/core/spec/x86_64/platform_support.cc
@@ -80,6 +80,12 @@ void Platform::_init_additional()
 				xml.attribute("pitch",  boot_fb.pitch);
 			});
 		});
+		xml.node("hardware", [&] () {
+			xml.node("features", [&] () {
+				xml.attribute("svm", false);
+				xml.attribute("vmx", false);
+			});
+		});
 	});
 
 	if (!unmap_local(virt_addr, pages)) {