mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 14:13:09 +00:00
64 lines
2.1 KiB
Plaintext
64 lines
2.1 KiB
Plaintext
|
<config>
|
||
|
|
<parent-provides>
|
||
|
|
<service name="ROM"/>
|
||
|
|
<service name="PD"/>
|
||
|
|
<service name="CPU"/>
|
||
|
|
<service name="LOG"/>
|
||
|
|
<service name="Timer"/>
|
||
|
|
<service name="Report"/>
|
||
|
|
<service name="Capture"/>
|
||
|
|
<service name="Event"/>
|
||
|
|
</parent-provides>
|
||
|
|
|
||
|
|
<start name="fb_sdl" caps="100" ld="no">
|
||
|
|
<resource name="RAM" quantum="10M"/>
|
||
|
|
<route>
|
||
|
|
<service name="Event"> <child name="event_filter" label="sdl"/> </service>
|
||
|
|
<any-service> <parent/> </any-service>
|
||
|
|
</route>
|
||
|
|
</start>
|
||
|
|
|
||
|
|
<!-- toggle key mappings depending on the numlock state -->
|
||
|
|
<start name="numlock_remap_rom" caps="100">
|
||
|
|
<binary name="rom_filter"/>
|
||
|
|
<resource name="RAM" quantum="1M"/>
|
||
|
|
<provides> <service name="ROM"/> </provides>
|
||
|
|
<route>
|
||
|
|
<service name="ROM" label="config"> <parent label="numlock_remap.config"/> </service>
|
||
|
|
<service name="ROM" label="numlock"> <parent label="numlock"/> </service>
|
||
|
|
<any-service> <parent/> </any-service>
|
||
|
|
</route>
|
||
|
|
</start>
|
||
|
|
|
||
|
|
<start name="event_filter" caps="120">
|
||
|
|
<resource name="RAM" quantum="2M"/>
|
||
|
|
<provides> <service name="Event"/> </provides>
|
||
|
|
<route>
|
||
|
|
<service name="ROM" label="config"> <parent label="event_filter.config"/> </service>
|
||
|
|
<service name="ROM" label="numlock.remap"> <child name="numlock_remap_rom"/> </service>
|
||
|
|
<service name="ROM" label="capslock"> <parent label="capslock"/> </service>
|
||
|
|
<service name="ROM"> <parent/> </service>
|
||
|
|
<service name="PD"> <parent/> </service>
|
||
|
|
<service name="CPU"> <parent/> </service>
|
||
|
|
<service name="LOG"> <parent/> </service>
|
||
|
|
<service name="Timer"> <parent/> </service>
|
||
|
|
<service name="Event"> <parent/> </service>
|
||
|
|
</route>
|
||
|
|
</start>
|
||
|
|
|
||
|
|
<start name="modem" caps="120">
|
||
|
|
<binary name="dummy_modem"/>
|
||
|
|
<resource name="RAM" quantum="1M"/>
|
||
|
|
<route>
|
||
|
|
<service name="ROM" label="config"> <parent label="modem.config"/> </service>
|
||
|
|
<service name="ROM"> <parent/> </service>
|
||
|
|
<service name="PD"> <parent/> </service>
|
||
|
|
<service name="CPU"> <parent/> </service>
|
||
|
|
<service name="LOG"> <parent/> </service>
|
||
|
|
<service name="Timer"> <parent/> </service>
|
||
|
|
<service name="Report"> <parent/> </service>
|
||
|
|
</route>
|
||
|
|
</start>
|
||
|
|
|
||
|
|
</config>
|