<runtime ram="1380M" caps="1000" binary="init">

	<requires>
		<nic/>
		<block label="disk0"/>
		<block label="disk1"/>
		<rom label="platform_info"/>
		<gui/>
		<rtc/>
		<vm/>
		<usb/>
		<rm/>
		<timer/>
		<report label="shape"/>
	</requires>

	<content>
		<rom label="vm_seoul_boot_0.cfg"/>
		<rom label="init"/>
		<rom label="seoul"/>
	</content>

	<config verbose="no">
		<parent-provides>
			<service name="ROM"/>
			<service name="PD"/>
			<service name="CPU"/>
			<service name="LOG"/>
			<service name="VM"/>
			<service name="RM"/>
			<service name="Gui"/>
			<service name="Rtc"/>
			<service name="Nic"/>
			<service name="Timer"/>
			<service name="Block"/>
			<service name="Report"/>
			<service name="Usb"/>
		</parent-provides>

		<start name="seoul" caps="5000">
			<binary name="seoul"/>
			<resource name="RAM" quantum="16G"/>
			<route>
				<service name="ROM" label="platform_info">
					<parent label="platform_info"/> </service>
				<service name="ROM" label="config">
					<parent label="vm_seoul_boot_0.cfg"/> </service>
				<service name="Report" label="shape">
					<parent label="shape"/> </service>
				<service name="Block" label="disk0">
					<parent label="disk0"/> </service>
				<service name="Block" label="disk1">
					<parent label="disk1"/> </service>
				<service name="Gui" label="fb1.0">
				    <!-- XXX required for window/shape/pointer matching - does not work for other fbX.Y -->
					<parent label=""/>
				</service>
				<any-service><parent/></any-service>
			</route>
		</start>
	</config>

</runtime>
