projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
b54621e
)
Fix sentence that trailed off.
author
Ben Pfaff
<blp@cs.stanford.edu>
Tue, 14 Dec 2004 18:09:07 +0000
(18:09 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Tue, 14 Dec 2004 18:09:07 +0000
(18:09 +0000)
doc/intro.texi
patch
|
blob
|
history
diff --git
a/doc/intro.texi
b/doc/intro.texi
index e49a6c6f89af5c51436b7a9481f9a84ed3347ab6..7bdd7e51b0531ed545869034cf7b8566c0cdccc6 100644
(file)
--- a/
doc/intro.texi
+++ b/
doc/intro.texi
@@
-165,7
+165,7
@@
the kernel. @xref{Adding c or h Files}, for more information.
Object file for the entire kernel. This is the result of linking
object files compiled from each individual kernel source file into a
single object file. It contains debug information, so you can run
Object file for the entire kernel. This is the result of linking
object files compiled from each individual kernel source file into a
single object file. It contains debug information, so you can run
-@command{gdb} or
+@command{gdb} or
@command{backtrace} (@pxref{Backtraces}) on it.
@item kernel.bin
Memory image of the kernel. These are the exact bytes loaded into
@item kernel.bin
Memory image of the kernel. These are the exact bytes loaded into