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

wm.run: use priorities for smoother rpi GUI

This commit is contained in:
Norman Feske 2014-08-25 18:27:33 +02:00
parent 1cddf05070
commit 3a7773073d
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
repos/gems/run/wm.run
View File

@ -29,7 +29,7 @@ create_boot_directory
# #
append config { append config {
<config> <config prio_levels="2">
<parent-provides> <parent-provides>
<service name="ROM"/> <service name="ROM"/>
<service name="RAM"/> <service name="RAM"/>
@ -145,7 +145,7 @@ append config {
<any-service> <parent/> <any-child/> </any-service> <any-service> <parent/> <any-child/> </any-service>
</route> </route>
</start> </start>
<start name="wm"> <start name="wm" priority="-1">
<resource name="RAM" quantum="32M"/> <resource name="RAM" quantum="32M"/>
<provides><service name="Nitpicker"/></provides> <provides><service name="Nitpicker"/></provides>
<route> <route>
@ -154,7 +154,7 @@ append config {
</any-service> </any-service>
</route> </route>
</start> </start>
<start name="launchpad"> <start name="launchpad" priority="-1">
<resource name="RAM" quantum="20M"/> <resource name="RAM" quantum="20M"/>
<config> <config>
<launcher name="nit_fb" ram_quota="7M"> <launcher name="nit_fb" ram_quota="7M">
@ -173,7 +173,7 @@ append config {
</any-service> </any-service>
</route> </route>
</start> </start>
<start name="backdrop"> <start name="backdrop" priority="-1">
<resource name="RAM" quantum="4M"/> <resource name="RAM" quantum="4M"/>
<config> <config>
<libc> <libc>
@ -192,7 +192,7 @@ append config {
</any-service> </any-service>
</route> </route>
</start> </start>
<start name="wm_backdrop"> <start name="wm_backdrop" priority="-1">
<binary name="backdrop" /> <binary name="backdrop" />
<resource name="RAM" quantum="4M"/> <resource name="RAM" quantum="4M"/>
<config> <config>