From c232886e0f55a30dd4db38141ba10d509aeb8bb2 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 30 May 2017 10:16:13 +0200
Subject: [PATCH] vbox5: disable support of unrestricted-guest mode

Currently, Ubuntu does not work in unrestricted-guest mode, so, disable
it until this is fixed.

Issue #2338
---
 repos/ports/src/virtualbox5/hm.cc | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/repos/ports/src/virtualbox5/hm.cc b/repos/ports/src/virtualbox5/hm.cc
index 537ce64e7..28f9669c0 100644
--- a/repos/ports/src/virtualbox5/hm.cc
+++ b/repos/ports/src/virtualbox5/hm.cc
@@ -37,6 +37,12 @@ VMMR3DECL(int) HMR3Init(PVM pVM)
 	                            &pVM->hm.s.vmx.fAllowUnrestricted, true);
 	AssertRCReturn(rc, rc);
 
+	/* XXX fix Ubuntu and unrestricted guest support, disable by default atm */
+	if (pVM->hm.s.vmx.fAllowUnrestricted) {
+		pVM->hm.s.vmx.fAllowUnrestricted = false;
+		Genode::warning("unrestricted guest support disabled");
+	}
+
 	/* check whether to enable pae and nx bit - in 64bit host mode */
 	rc = CFGMR3QueryBoolDef(CFGMR3GetRoot(pVM), "EnablePAE", &enable_pae_nx,
 	                        false);