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