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?}
 
-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