From bd2784aef647e8bbbd13eca1ed237e383015c874 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 8 Jul 2006 18:15:14 +0000
Subject: [PATCH] Add additional explanation to the spontaneous reboot output.

---
 src/tests/tests.pm | 2 ++
 1 file changed, 2 insertions(+)

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;
-- 
2.30.2