if {[expr ![have_spec arm_64] && ![have_spec x86_64]]} { puts "Run script is not supported on this platform." exit 0 } set use_top 0 set build_components { core init timer lib/ld test/driver_time } append_if $use_top build_components { app/top } build $build_components create_boot_directory append config { <config verbose="yes" prio_levels="4"> <parent-provides> <service name="ROM"/> <service name="IRQ"/> <service name="IO_MEM"/> <service name="IO_PORT"/> <service name="PD"/> <service name="RM"/> <service name="CPU"/> <service name="LOG"/> <service name="TRACE"/> </parent-provides> <default-route> <any-service> <parent/> <any-child/> </any-service> </default-route> <default caps="100"/> <start name="timer"> <resource name="RAM" quantum="1M"/> <provides><service name="Timer"/></provides> </start> <start name="test-driver_time" priority="-1"> <resource name="RAM" quantum="2M"/> </start>} append_if $use_top config { <start name="top"> <resource name="RAM" quantum="2M"/> <config period_ms="40000"/> <route> <service name="TRACE"> <parent label=""/> </any-service> <any-service> <parent/> <any-child/> </any-service> </route> </start>} append config { </config>} install_config $config build_boot_image [build_artifacts] append qemu_args "-nographic " run_genode_until forever