set build_components { core init drivers/timer drivers/uart noux/minimal test/noux_signals } build $build_components # create tar archive exec tar cfv bin/noux_signals.tar -h -C bin test-noux_signals create_boot_directory append config { } install_config $config set boot_modules { core init timer ld.lib.so noux libc.lib.so vfs.lib.so posix.lib.so uart_drv libc_noux.lib.so noux_signals.tar } build_boot_image $boot_modules # # Redirect the LOG session output of Noux into a file # set noux_output_file "noux_signals.log" append qemu_args " -nographic" append qemu_args " -serial file:$noux_output_file" append qemu_args " -serial mon:stdio" run_genode_until "test ready" 10 # send Ctrl-C send \003 run_genode_until "test finished" 10 $spawn_id set error_occured 0 if {![regexp {0: signal handler for signal 2 called} $output]} { set error_occured 1 } if {![regexp {1: signal handler for signal 2 called} $output]} { set error_occured 1 } if {![regexp {0: 'read\(\)' returned with error EINTR} $output]} { set error_occured 1 } if {![regexp {1: 'read\(\)' returned with error EINTR} $output]} { set error_occured 1 } if { $error_occured == 1 } { puts "output not as expected" exit -1 } exec rm bin/noux_signals.tar exec rm $noux_output_file