alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

vbox5: unified build dir adjustments

Browse Source 
Issue #2338
This commit is contained in:
Alexander Boettcher
2017-01-31 15:13:58 +01:00
committed by Christian Helmuth
parent 48d1141917
commit 5ebd8ae02e
13 changed files with 288 additions and 94 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
repos/ports/run/virtualbox.run
View File

@@ -1,18 +1,28 @@
set use_net 0
set use_ps2 [have_spec ps2]
set use_usb 0
set use_serial 0
set use_serial 1
set virtualbox_binary "virtualbox-rem"
if {[have_spec muen]} { set virtualbox_binary "virtualbox-muen" }
if {[have_spec nova]} { set virtualbox_binary "virtualbox-nova" }
set use_vbox4 1
set use_vbox5 [expr !$use_vbox4]
set build_components {
core init virtualbox
core init
drivers/framebuffer
drivers/timer
}
if {$use_vbox4} {
append build_components virtualbox
set virtualbox_binary "virtualbox-rem"
if {[have_spec muen]} { set virtualbox_binary "virtualbox-muen" }
if {[have_spec nova]} { set virtualbox_binary "virtualbox-nova" }
} else {
append build_components virtualbox5
set virtualbox_binary "virtualbox5-rem"
if {[have_spec nova]} { set virtualbox_binary "virtualbox5-nova" }
}
source ${genode_dir}/repos/base/run/platform_drv.inc
# override defaults of platform_drv.inc
proc platform_drv_priority {} { return { priority="-1"} }