From 523b317fe6fdd1b6ea22c03388f311189b0e2668 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 8 Aug 2017 16:18:50 +0200
Subject: [PATCH] vbox4: disable muen run targets due to issue #2399

---
 repos/ports/run/virtualbox_auto.inc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc
index 8c4ca4744..a4c61bbf1 100644
--- a/repos/ports/run/virtualbox_auto.inc
+++ b/repos/ports/run/virtualbox_auto.inc
@@ -1,4 +1,7 @@
-if {(![have_spec nova] && ![have_spec muen])} {
+if {(![have_spec nova])} {
+	if {[have_spec muen]} {
+		puts "vbox on muen is not functional until issue #2399 gets fixed"
+	}
 	puts "Platform is unsupported."
 	exit 0
 }