Add "panic: action=fatal" to bochsrc.txt to avoid a potentially

[pintos-anon] / src / utils / pintos

diff --git a/src/utils/pintos b/src/utils/pintos
index 32a4af59eadd7c834a3f583010e0dfa455c01450..afd0ec280f356516bd29e8db098d66649cb7df01 100755 (executable)
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -380,6 +380,7 @@ boot: c
 ips: 1000000
 megs: $mem
 log: bochsout.txt
+panic: action=fatal
 EOF
     print BOCHSRC "clock: sync=", $realtime ? 'realtime' : 'none', "time0=0\n";
     print_bochs_disk_line ("ata0-master", 0);