mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-23 01:08:55 +00:00
demo.run: adapt nested nitpicker to config changes
This commit is contained in:
@ -175,9 +175,15 @@ puts $launchpad_config_fd {<config>
|
|||||||
<configfile name="launchpad.config" />
|
<configfile name="launchpad.config" />
|
||||||
</launcher>
|
</launcher>
|
||||||
<launcher name="nitlog" ram_quota="1M" />
|
<launcher name="nitlog" ram_quota="1M" />
|
||||||
<launcher name="liquid_fb" ram_quota="7M" />
|
<launcher name="liquid_fb" ram_quota="7M">
|
||||||
<config resize_handle="on" />
|
<config resize_handle="on" />
|
||||||
<launcher name="nitpicker" ram_quota="1M" />
|
</launcher>
|
||||||
|
<launcher name="nitpicker" ram_quota="1M">
|
||||||
|
<config>
|
||||||
|
<domain name="" layer="3" />
|
||||||
|
<policy label="" domain="" />
|
||||||
|
</config>
|
||||||
|
</launcher>
|
||||||
</config>}
|
</config>}
|
||||||
close $launchpad_config_fd
|
close $launchpad_config_fd
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user