From 26918b82b3b379904a686623c5e8b86f970b44df Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 27 Mar 2018 13:52:11 +0200
Subject: [PATCH] hw: provide svm/vmx features via platform_info

Issue #2710
---
 repos/base-hw/src/core/spec/x86_64/platform_support.cc | 6 ++++++
 1 file changed, 6 insertions(+)

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)) {