projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make it possible to ignore page faults in GDB.
[pintos-anon]
/
doc
/
debug.texi
diff --git
a/doc/debug.texi
b/doc/debug.texi
index 1aea23874c1715814663aabe1e28b99b1a8b641b..0d5a79deaf6917be4c46e750a1993ef778b29170 100644
(file)
--- 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}).
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
@end deffn
@node Example GDB Session