mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 18:18:54 +00:00
1fe9b07c99
The labels of clipboard ROM and clipboard report sessions of WM clients must be consistent with the client's nitpicker label. Hence, we must route those sessions through the window manager, analogously to the approach taken for shape reports in #3165. Issue #3437
32 lines
753 B
Plaintext
32 lines
753 B
Plaintext
<runtime ram="28M" caps="1000" binary="init" config="wm.config">
|
|
|
|
<requires>
|
|
<nitpicker label="focus"/>
|
|
<nitpicker/>
|
|
<report label="shape"/>
|
|
<report label="clipboard"/>
|
|
<rom label="clipboard"/>
|
|
<timer/>
|
|
</requires>
|
|
|
|
<provides> <nitpicker/> <report/> <rom/> </provides>
|
|
|
|
<content>
|
|
<rom label="ld.lib.so"/>
|
|
<rom label="libc.lib.so"/>
|
|
<rom label="libm.lib.so"/>
|
|
<rom label="libpng.lib.so"/>
|
|
<rom label="vfs.lib.so"/>
|
|
<rom label="zlib.lib.so"/>
|
|
<rom label="report_rom"/>
|
|
<rom label="themed_decorator"/>
|
|
<rom label="window_layouter"/>
|
|
<rom label="wm"/>
|
|
<rom label="wm.config"/>
|
|
<rom label="decorator_init.config"/>
|
|
<rom label="layouter.config"/>
|
|
<rom label="plain_decorator_theme.tar"/>
|
|
</content>
|
|
|
|
</runtime>
|