From 8e798ab904a33045ba65506fb42185ae2f6f98c8 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 8 Aug 2017 16:16:28 +0200
Subject: [PATCH] vbox5: disable muen

vbox5 is not supported on muen/hw
---
 repos/ports/run/virtualbox_auto.inc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc
index 4d757ea7d7..8c4ca4744f 100644
--- a/repos/ports/run/virtualbox_auto.inc
+++ b/repos/ports/run/virtualbox_auto.inc
@@ -8,6 +8,11 @@ if {[have_include "power_on/qemu"]} {
 	exit
 }
 
+if {([have_spec muen] && [expr $use_vbox5])} {
+	puts "Platform is unsupported."
+	exit 0
+}
+
 append build_components {
 	core init
 	server/part_blk