projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 607d44e)
Redo menu.
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 14 Oct 2004 00:10:23 +0000 (00:10 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 14 Oct 2004 00:10:23 +0000 (00:10 +0000)
doc/debug.texi patch | blob | history

diff --git a/doc/debug.texi b/doc/debug.texi
index 8867c2c4080f9b271311ad73899329860e49ae33..7e372ca0a248d7483aa7e6b5de5142b14161fbee 100644 (file)
--- 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
Pintos public repository