ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-08 11:55:24 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Enable 32-bit Virtualbox scenarios for hw_x86_64_muen

Browse Source 
* Announce VM service
 * Disable USB uhci and ehci as only xhci is supported on hw_x86_64_muen

Issue #2016
This commit is contained in:
Adrian-Ken Rueegsegger 2015-06-09 00:45:34 +02:00 committed by Norman Feske
parent 63591160df
commit 4c5694184c
4 changed files with 46 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
repos/ports/run/vbox_auto_win7_share.run
View File

@ -62,8 +62,11 @@ if {[have_include "power_on/qemu"]} {
exit 0
}
# Tested for nova.
assert_spec nova
# Tested for nova and hw_x86_64_muen.
if {(![have_spec nova] && ![have_spec hw_x86_64_muen])} {
puts "Platform is unsupported."
exit 0
}
set flavor "win7"
set vdi_image "${flavor}.vdi"

9
repos/ports/run/vbox_win.inc
View File

@ -1,6 +1,9 @@
# Tested for nova.
assert_spec nova
# Tested for nova and hw_x86_64_muen.
if {(![have_spec nova] && ![have_spec hw_x86_64_muen])} {
puts "Platform is unsupported."
exit 0
}
if {[have_include "power_on/qemu"]} {
puts "\nRun script does not support Qemu.\n"
exit 0

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

@ -37,7 +37,12 @@ set config {
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="LOG"/>}
append_if [have_spec muen] config {
<service name="VM"/>}
append config {
</parent-provides>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
@ -58,8 +63,15 @@ append_if [expr $use_ps2] config {
append_if [expr $use_usb] config {
<start name="usb_drv" priority="-1">
<resource name="RAM" quantum="7M"/>
<provides><service name="Input"/></provides>
<config uhci="yes" ehci="yes" xhci="yes">
<provides><service name="Input"/></provides>}
append_if [expr $use_usb && ![have_spec hw_x86_64_muen]] config {
<config uhci="yes" ehci="yes" xhci="yes">}
append_if [expr $use_usb && [have_spec hw_x86_64_muen]] config {
<config uhci="no" ehci="no" xhci="yes">}
append_if [expr $use_usb] config {
<hid/>
</config>
</start>}

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

@ -1,4 +1,7 @@
assert_spec nova
if {(![have_spec nova] && ![have_spec hw_x86_64_muen])} {
puts "Platform is unsupported."
exit 0
}
if {[have_include "power_on/qemu"]} {
puts "\nRun script does not support Qemu.\n"
@ -6,7 +9,7 @@ if {[have_include "power_on/qemu"]} {
}
append build_components {
core init virtualbox
core init virtualbox
server/part_blk
server/rump_fs
server/fs_rom
@ -42,7 +45,12 @@ set config {
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="LOG"/>}
append_if [have_spec muen] config {
<service name="VM"/>}
append config {
</parent-provides>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
@ -116,8 +124,15 @@ append_if [expr $use_usb] config {
<provides><service name="File_system"/></provides>
<config verbose="yes">
<content>
<inline name="usb_drv.config">
<config uhci="yes" ehci="yes" xhci="yes">
<inline name="usb_drv.config">}
append_if [expr $use_usb && ![have_spec hw_x86_64_muen]] config {
<config uhci="yes" ehci="yes" xhci="yes">}
append_if [expr $use_usb && [have_spec hw_x86_64_muen]] config {
<config uhci="no" ehci="no" xhci="yes">}
append_if [expr $use_usb] config {
<hid/>
<raw>
<report devices="yes"/>