if {[have_spec linux]} { puts "Platform does not support managed dataspaces"; exit } build "core init test/rm_nested" create_boot_directory install_config { } build_boot_image "core ld.lib.so init test-rm_nested" append qemu_args "-nographic -m 64" run_genode_until ".*--- finished nested region map test ---.*\n" 300