genode/repos/base-sel4/run/test.run

# enable special handling in tool/run/boot_dir/sel4
set core_test "sel4"

build { test/sel4 }

create_boot_directory

build_boot_image "test-sel4"

append qemu_args " -nographic -m 64 "

run_genode_until forever
Fix build and execution of test/sel4 2015-10-03 23:45:21 +00:00			`# enable special handling in tool/run/boot_dir/sel4`
			`set core_test "sel4"`

sel4: minimalistic roottask 2014-10-15 12:48:45 +00:00			`build { test/sel4 }`

New base-sel4 repository 2014-10-14 13:18:31 +00:00			`create_boot_directory`

sel4: minimalistic roottask 2014-10-15 12:48:45 +00:00			`build_boot_image "test-sel4"`
New base-sel4 repository 2014-10-14 13:18:31 +00:00
			`append qemu_args " -nographic -m 64 "`

			`run_genode_until forever`