projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Use round-toward-0 instead of round-to-nearest in fixed-point example.
[pintos-anon]
/
doc
/
userprog.texi
diff --git
a/doc/userprog.texi
b/doc/userprog.texi
index cf01158423f9540ce0d91bf7aa3c745d00d71709..a1321950fd3f877328f801853839be7c9cf69741 100644
(file)
--- a/
doc/userprog.texi
+++ b/
doc/userprog.texi
@@
-924,7
+924,7
@@
Modify @file{src/examples/Makefile}, then run @command{make}.
@item Can I run user programs under a debugger?
-Yes, with some limitations. @xref{
Debugging User Programs
}.
+Yes, with some limitations. @xref{
GDB
}.
@item What's the difference between @code{tid_t} and @code{pid_t}?