mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-31 22:50:54 +00:00
gems/decorators: adjust resources for WQHD displays
2560x1440 resolutions require more RAM resources. Additionally, make sure that the decorator 'init' receives enough CAPs to service the decorator configuration. fixes #4485
This commit is contained in:
parent
754d35244f
commit
8d00af1d7b
@ -1,4 +1,4 @@
|
||||
<runtime ram="8M" caps="400" binary="themed_decorator">
|
||||
<runtime ram="12M" caps="400" binary="themed_decorator">
|
||||
|
||||
<requires>
|
||||
<rom label="window_layout"/>
|
||||
|
@ -1,4 +1,4 @@
|
||||
<runtime ram="28M" caps="1000" binary="init" config="wm.config">
|
||||
<runtime ram="32M" caps="1100" binary="init" config="wm.config">
|
||||
|
||||
<requires>
|
||||
<gui label="focus"/>
|
||||
|
@ -87,7 +87,7 @@
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="decorator" caps="350">
|
||||
<start name="decorator" caps="450">
|
||||
<binary name="init"/>
|
||||
<resource name="RAM" quantum="12M"/>
|
||||
<route>
|
||||
|
@ -8,9 +8,9 @@
|
||||
<service name="Timer"/>
|
||||
<service name="Report"/>
|
||||
</parent-provides>
|
||||
<start name="decorator" caps="300">
|
||||
<start name="decorator" caps="400">
|
||||
<binary name="themed_decorator"/>
|
||||
<resource name="RAM" quantum="8M"/>
|
||||
<resource name="RAM" quantum="12M"/>
|
||||
<config>
|
||||
<libc/>
|
||||
<vfs> <tar name="plain_decorator_theme.tar"/> </vfs>
|
||||
|
Loading…
x
Reference in New Issue
Block a user