ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-30 08:03:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

vbox5: remove priority bands from vbox5-* packages

Browse Source
This commit is contained in:
Alexander Boettcher 2021-03-23 13:48:52 +01:00 committed by Norman Feske
parent 945b4760ef
commit 141af733aa
3 changed files with 6 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/recipes/pkg/vbox5-nova-sculpt/runtime
View File

@ -12,6 +12,7 @@
<rom label="clipboard"/> <rom label="clipboard"/>
<rm/> <rm/>
<rtc/> <rtc/>
<timer/>
<rom label="usb_devices"/> <rom label="usb_devices"/>
<usb/> <usb/>
</requires> </requires>
@ -20,7 +21,6 @@
<rom label="init.config"/> <rom label="init.config"/>
<rom label="ld.lib.so"/> <rom label="ld.lib.so"/>
<rom label="init"/> <rom label="init"/>
<rom label="timer"/>
<rom label="virtualbox5-nova"/> <rom label="virtualbox5-nova"/>
<rom label="libc.lib.so"/> <rom label="libc.lib.so"/>
<rom label="libm.lib.so"/> <rom label="libm.lib.so"/>

6
repos/ports/recipes/pkg/vbox5/runtime
View File

@ -1,4 +1,4 @@
<runtime ram="4300M" caps="1500" binary="init"> <runtime ram="4300M" caps="2500" binary="init">
<requires> <requires>
<file_system label="vm"/> <file_system label="vm"/>
@ -18,7 +18,7 @@
<usb/> <usb/>
</requires> </requires>
<config verbose="yes" prio_levels="2"> <config verbose="yes">
<parent-provides> <parent-provides>
<service name="ROM"/> <service name="ROM"/>
@ -40,7 +40,7 @@
<default caps="100"/> <default caps="100"/>
<start name="vbox" priority="-1" caps="1000"> <start name="vbox" caps="2000">
<binary name="virtualbox5" /> <binary name="virtualbox5" />
<resource name="RAM" quantum="8G"/> <resource name="RAM" quantum="8G"/>
<exit propagate="yes"/> <exit propagate="yes"/>

15
repos/ports/recipes/raw/vbox5-nova-sculpt/init.config
View File

@ -1,4 +1,4 @@
<config verbose="yes" prio_levels="2"> <config verbose="yes">
<parent-provides> <parent-provides>
<service name="ROM"/> <service name="ROM"/>
@ -19,18 +19,7 @@
<default caps="100"/> <default caps="100"/>
<start name="timer"> <start name="vbox" caps="1000">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
<config/>
<route>
<service name="ROM" label="platform_info">
<parent label="platform_info"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="vbox" priority="-1" caps="1000">
<binary name="virtualbox5-nova" /> <binary name="virtualbox5-nova" />
<resource name="RAM" quantum="8G"/> <resource name="RAM" quantum="8G"/>
<exit propagate="yes"/> <exit propagate="yes"/>