projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update docs.
[pintos-anon]
/
doc
/
vm.texi
diff --git
a/doc/vm.texi
b/doc/vm.texi
index 6f4428e11e0aeb40043adcaa63ec6fd7df66c40b..094d1828a2f0d03a91fd2e2b809aab019c98c2ee 100644
(file)
--- a/
doc/vm.texi
+++ b/
doc/vm.texi
@@
-528,8
+528,9
@@
the linker manual, accessible via @samp{info ld}.
@item
@b{Do page tables need to created lazily?}
@item
@b{Do page tables need to created lazily?}
-No. You can create the page tables at load time (or @code{mmap} time)
-if you like.
+No. You can create the page tables at load time (or @code{mmap}
+time). Real OSes often manage their page tables lazily, but it's just
+an unneeded complication for our purposes.
@item
@b{Our code handles the PageFault exceptions. However, the number of
@item
@b{Our code handles the PageFault exceptions. However, the number of