genode-ehmry/vm/seoul-nova/runtime

84 lines
2.0 KiB
Plaintext

<runtime ram="512M" caps="2200" binary="init">
<requires>
<block label="primary"/>
<block label="secondary"/>
<nic/>
<nitpicker/>
<rm/>
<rom label="platform_info"/>
<rtc/>
</requires>
<content>
<rom label="init"/>
<rom label="nit_fb"/>
<rom label="seoul"/>
<rom label="timer"/>
<rom label="vm_seoul.cfg"/>
</content>
<config verbose="yes" prio_levels="2">
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Block"/>
<service name="File_system"/>
<service name="Nitpicker"/>
<service name="Rtc"/>
<service name="Nic"/>
</parent-provides>
<default caps="100"/>
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
<config/>
<route>
<service name="ROM" label="platform_info">
<parent label="platform_info"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="nit_fb" priority="0">
<resource name="RAM" quantum="8M" />
<provides>
<service name="Framebuffer" /> <service name="Input" />
</provides>
<config initial_width="720" initial_height="480"/>
<route>
<service name="Nitpicker"> <parent label=""/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="seoul" priority="-1" caps="200" ld="no">
<binary name="seoul"/>
<resource name="RAM" quantum="8G"/>
<route>
<service name="ROM" label="platform_info">
<parent label="platform_info"/> </service>
<service name="Timer">
<child name="timer"/> </service>
<service name="Framebuffer">
<child name="nit_fb"/> </service>
<service name="Input">
<child name="nit_fb"/> </service>
<service name="Block">
<parent label="primary"/> </service>
<service name="Block" label="VirtualDisk 1">
<parent label="secondary"/></service>
<any-service> <parent/> </any-service>
</route>
<configfile name="vm_seoul.cfg"/>
</start>
</config>
</runtime>