genode/repos/gems/run/sculpt/empty_runtime.config
2020-06-22 09:39:39 +02:00

20 lines
497 B
Plaintext

<config verbose="yes">
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="IO_MEM"/>
<service name="IO_PORT"/>
<service name="IRQ"/>
<service name="Gui"/>
<service name="Timer"/>
<service name="Block"/>
<service name="Report"/>
<service name="Platform"/>
</parent-provides>
<default-route> <any-service> <parent/> </any-service> </default-route>
<default caps="100"/>
</config>