ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-05 02:29:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

vbox5: disable muen

Browse Source 
vbox5 is not supported on muen/hw
This commit is contained in:
Alexander Boettcher 2017-08-08 16:16:28 +02:00 committed by Christian Helmuth
parent bf04b0c3aa
commit 8e798ab904
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
repos/ports/run/virtualbox_auto.inc
View File

@ -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