build "core init test/terminal_decoder" create_boot_directory install_config { } build_boot_image "core ld.lib.so init test-terminal_decoder" run_genode_until "--- finished test ---" 10 puts "Test succeeded"