X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdebug.texi;fp=doc%2Fdebug.texi;h=0d5a79deaf6917be4c46e750a1993ef778b29170;hb=0951a7af1bd8e78b5991edd7de9d0370b2d2d72b;hp=1aea23874c1715814663aabe1e28b99b1a8b641b;hpb=cd61e4747c8d597c302f0ef3f1b0a2b6ed5ce890;p=pintos-anon

diff --git a/doc/debug.texi b/doc/debug.texi
index 1aea238..0d5a79d 100644
--- a/doc/debug.texi
+++ b/doc/debug.texi
@@ -444,6 +444,10 @@ in your kernel, because your kernel should never crash.  Starting with
 Project 3, the situation will change if you use @func{get_user} and
 @func{put_user} strategy to verify user memory accesses
 (@pxref{Accessing User Memory}).
+
+If you don't want GDB to stop for page faults, then issue the command
+@code{handle SIGSEGV nostop}.  GDB will still print a message for
+every page fault, but it will not come back to a command prompt.
 @end deffn
 
 @node Example GDB Session