From 2f38f50b1e2798070f946e031d1b00b7daa15eb9 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 24 Aug 2017 16:50:49 +0200
Subject: [PATCH] Revert "vbox4: disable muen run targets due to issue #2399"

This reverts commit 523b317fe6fdd1b6ea22c03388f311189b0e2668.
---
 repos/ports/run/virtualbox_auto.inc | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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