mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 14:13:09 +00:00
fc902b797e
This patch supplements 'runtime' files to several pkg archives, which thereby become deployable by the depot_deploy tool. Issue #2676
24 lines
597 B
Plaintext
24 lines
597 B
Plaintext
<runtime ram="28M" caps="1000" binary="init" config="wm.config">
|
|
|
|
<requires> <nitpicker/> <timer/> </requires>
|
|
|
|
<provides> <nitpicker/> </provides>
|
|
|
|
<content>
|
|
<rom label="ld.lib.so"/>
|
|
<rom label="libc.lib.so"/>
|
|
<rom label="libm.lib.so"/>
|
|
<rom label="libpng.lib.so"/>
|
|
<rom label="zlib.lib.so"/>
|
|
<rom label="report_rom"/>
|
|
<rom label="themed_decorator"/>
|
|
<rom label="floating_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>
|