From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 8 Jul 2006 18:15:14 +0000 (+0000)
Subject: Add additional explanation to the spontaneous reboot output.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ff0e07a04875c2d00701de6796c35c9d24bfcfb0;p=pintos-anon

Add additional explanation to the spontaneous reboot output.
---

diff --git a/src/tests/tests.pm b/src/tests/tests.pm
index e167cf5..e8cb423 100644
--- a/src/tests/tests.pm
+++ b/src/tests/tests.pm
@@ -112,6 +112,8 @@ sub check_for_triple_fault {
     print <<EOF;
 \u$run spontaneously rebooted $reboots times.
 This is most often caused by unhandled page faults.
+Read the Triple Faults section in the Debugging chapter
+of the Pintos manual for more information.
 EOF
 
     fail;