ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-10 21:01:49 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix backdrop handing in wm.run and nano3d.run

Browse Source 
This patch adjusts the run script in two ways:

It removes the reliance on init's formerly built-in resource-request
handling by increasing the RAM quota for the backdrop instances. Since
commit "init: explicit response to resource requests", init no longer
hands out slack memory automatically.

Second, it makes sure that the backdrop appears under the precise label
"backdrop" at nitpicker by facilitating init's label-rewriting feature.
Without explicitly setting the label to "backdrop", nitpicker observes
the label "backdrop -> backdrop" (the first part comes from init, the
second part comes from the nitpicker-session argument specified by
backdrop itself). However, the client is only considered as default
background if labeled as "backdrop" (see nitpicker's '_create_session')
implementation.

Issue #2352
This commit is contained in:
Norman Feske 2017-03-24 17:41:30 +01:00
parent f6386c6ce1
commit 9bceec4394
2 changed files with 22 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
repos/gems/run/nano3d.run
View File

@ -65,18 +65,21 @@ append config {
</start>
<start name="backdrop">
<resource name="RAM" quantum="4M"/>
<resource name="RAM" quantum="20M"/>
<config>
<libc>
<vfs>
<rom name="genode_logo.png"/>
<rom name="grid.png"/>
</vfs>
</libc>
<libc/>
<vfs>
<rom name="genode_logo.png"/>
<rom name="grid.png"/>
</vfs>
<fill color="#122334" />
<image png="grid.png" tiled="yes" alpha="200" />
<image png="genode_logo.png" anchor="bottom_right" alpha="150"/>
</config>
<route>
<service name="Nitpicker"> <child name="nitpicker" label="backdrop" /> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
<start name="dynamic_rom">

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

@ -206,33 +206,31 @@ append config {
</route>
</start>
<start name="backdrop" priority="-1">
<resource name="RAM" quantum="4M"/>
<resource name="RAM" quantum="24M"/>
<config>
<libc>
<vfs>
<rom name="genode_logo.png"/>
<rom name="grid.png"/>
</vfs>
</libc>
<libc/>
<vfs>
<rom name="genode_logo.png"/>
<rom name="grid.png"/>
</vfs>
<fill color="#224433" />
<image png="grid.png" tiled="yes" alpha="200" />
<image png="genode_logo.png" anchor="bottom_right" alpha="150"
xpos="-20" ypos="-20" />
</config>
<route>
<any-service> <child name="nitpicker"/> <parent/> <any-child/>
<any-service> <child name="nitpicker" label="backdrop"/> <parent/> <any-child/>
</any-service>
</route>
</start>
<start name="wm_backdrop" priority="-1">
<binary name="backdrop" />
<resource name="RAM" quantum="4M"/>
<resource name="RAM" quantum="24M"/>
<config>
<libc>
<vfs>
<rom name="genode_logo.png"/>
</vfs>
</libc>
<libc/>
<vfs>
<rom name="genode_logo.png"/>
</vfs>
<fill color="#664455" />
<image png="genode_logo.png" scale="zoom" alpha="150" />
<image png="genode_logo.png" scale="fit" alpha="150" tiled="yes" />