projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d4383b7
)
fixed grammar/typo
author
Godmar Back
<godmar@gmail.com>
Sat, 13 Jan 2007 14:39:41 +0000
(14:39 +0000)
committer
Godmar Back
<godmar@gmail.com>
Sat, 13 Jan 2007 14:39:41 +0000
(14:39 +0000)
doc/userprog.texi
patch
|
blob
|
history
diff --git
a/doc/userprog.texi
b/doc/userprog.texi
index f005d55e41add3d1cd3c7fd506deb4c23b7d5005..b50dc364829edcc186491b875e68e1b4cd470a72 100644
(file)
--- a/
doc/userprog.texi
+++ b/
doc/userprog.texi
@@
-301,7
+301,7
@@
regardless of what user process or kernel thread is running. In
Pintos, kernel virtual memory is mapped one-to-one to physical
memory, starting at @code{PHYS_BASE}. That is, virtual address
@code{PHYS_BASE} accesses physical
-address 0, virtual address @code{PHYS_BASE} + @t{0x1234} access
+address 0, virtual address @code{PHYS_BASE} + @t{0x1234} access
es
physical address @t{0x1234}, and so on up to the size of the machine's
physical memory.