X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdebug.texi;h=7e372ca0a248d7483aa7e6b5de5142b14161fbee;hb=caeb8f8ce9379914671abcd5f194873800b81130;hp=8867c2c4080f9b271311ad73899329860e49ae33;hpb=18a7addc348f70d1e4e53d6d60ceb7de6d48af01;p=pintos-anon diff --git a/doc/debug.texi b/doc/debug.texi index 8867c2c..7e372ca 100644 --- a/doc/debug.texi +++ b/doc/debug.texi @@ -11,6 +11,7 @@ introduces you to a few of them. * UNUSED NO_RETURN NO_INLINE PRINTF_FORMAT:: * Backtraces:: * i386-elf-gdb:: +* Debugging by Infinite Loop:: * Modifying Bochs:: * Debugging Tips:: @end menu