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

run: adjust virtualbox cap quotas to fit native hw

Browse Source
This commit is contained in:
Alexander Boettcher 2017-06-07 18:43:08 +02:00 committed by Christian Helmuth
parent 77fe0c882b
commit 0f227d5d24
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/run/platform_drv.inc
View File

@ -130,7 +130,7 @@ proc platform_drv_config {} {
if {[have_spec acpi]} {
append drv_config {
<start name="acpi_drv" } [platform_drv_priority] { caps="200" >
<start name="acpi_drv" } [platform_drv_priority] { caps="400" >
<resource name="RAM" quantum="3M"/>
<route>
<service name="IO_MEM"> <parent/> </service>

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

@ -198,7 +198,7 @@ append_if [expr $use_gui] config {
<service name="Input" />
</provides>
<config xpos="10" ypos="10" width="800" height="600"/>
<config xpos="10" ypos="10" width="1024" height="768"/>
<route>
<service name="Nitpicker"> <child name="nitpicker"/> </service>
@ -213,14 +213,14 @@ append_if [expr $use_gui] config {
<service name="Framebuffer" />
<service name="Input" />
</provides>
<config xpos="410" ypos="310" width="800" height="600"/>
<config xpos="410" ypos="310" width="1024" height="768"/>
<route>
<service name="Nitpicker"> <child name="nitpicker"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
<start name="vbox2" priority="-2" caps="200">}
<start name="vbox2" priority="-2" caps="500">}
append_if [expr $use_gui] config "
<binary name=\"$virtualbox_binary\"/>"
append_if [expr $use_gui] config {
@ -242,7 +242,7 @@ append_if [expr $use_gui] config {
</start>}
append config {
<start name="vbox1" priority="-2" caps="200">}
<start name="vbox1" priority="-2" caps="500">}
append config "
<binary name=\"$virtualbox_binary\"/>"
append config {