Thanks to "Huey Kwik" <kwik@stanford.edu> for the question.
are quite likely, and you should seriously consider both. We hope
that the third is less likely, but it is also possible.
are quite likely, and you should seriously consider both. We hope
that the third is less likely, but it is also possible.
-@anchor{Debugging User Programs}
+@menu
+* Debugging User Programs::
+@end menu
+
+@node Debugging User Programs
+@subsection Debugging User Programs
+
You can also use @command{gdb} to debug a user program running under
Pintos. Start by issuing this @command{gdb} command to load the
program's symbol table:
You can also use @command{gdb} to debug a user program running under
Pintos. Start by issuing this @command{gdb} command to load the
program's symbol table: