# 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
