genode/repos/base-nova/run/platform.run

build "core init test/platform"

set check_pat 1
if {[have_include power_on/qemu]} {
	set check_pat 0
}

if {[get_cmd_switch --autopilot] && [have_spec x86_32]} {
	# Disable test for our outdated nighly test machine for 32bit
	set check_pat 0
}

create_boot_directory

set config {
	<config>
		<parent-provides>
			<service name="ROM"/>
			<service name="CPU"/>
			<service name="RM"/>
			<service name="PD"/>
			<service name="LOG"/>
		</parent-provides>
		<default-route>
			<any-service> <parent/> </any-service>
		</default-route>
		<start name="test-platform" caps="12000">
			<resource name="RAM" quantum="128M"/>}

append config "
			<config check_pat=\"$check_pat\"/\>"

append config {
		</start>
	</config>
}

install_config $config

build_boot_image "core ld.lib.so init test-platform"

append qemu_args "-nographic  -smp 2"

run_genode_until {Test finished} 200

puts "\nTest succeeded"