Add additional explanation to the spontaneous reboot output.

[pintos-anon] / src / tests / tests.pm

diff --git a/src/tests/tests.pm b/src/tests/tests.pm
index e167cf5d835d9604421e7aab4c24869da9e81fdc..e8cb4230af8d4639f7f06e4bfe4ae398e53deb6b 100644 (file)
--- 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;