diff options
-rwxr-xr-x | tcwg_kernel-build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tcwg_kernel-build.sh b/tcwg_kernel-build.sh index 2be359ec..7de64f3f 100755 --- a/tcwg_kernel-build.sh +++ b/tcwg_kernel-build.sh @@ -195,9 +195,9 @@ boot_linux () ;; *) assert false ;; esac - timeout 20s qemu-system-${rr[target]} \ + timeout --foreground 60s qemu-system-${rr[target]} \ -kernel $image -machine virt $cpu -m 512 \ - -serial mon:stdio -display none \ + -serial stdio -display none \ -append "console=ttyAMA0 panic=-1" -no-reboot echo "linux boot successful:" >> ${rr[top_artifacts]}/results |