projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
-u option should be -ul.
[pintos-anon]
/
doc
/
vm.texi
diff --git
a/doc/vm.texi
b/doc/vm.texi
index 840e506a129586d9c2857f22a86a4325cdfafc01..6176bbd8dbf4ad38a170347586b18866b8aaa779 100644
(file)
--- a/
doc/vm.texi
+++ b/
doc/vm.texi
@@
-670,7
+670,7
@@
kernel functions need to obtain memory.
You can layer some other allocator on top of @func{palloc_get_page} if
you like, but it should be the underlying mechanism.
You can layer some other allocator on top of @func{palloc_get_page} if
you like, but it should be the underlying mechanism.
-Also, you can use the @option{-u} option to @command{pintos} to limit
+Also, you can use the @option{-u
l
} option to @command{pintos} to limit
the size of the user pool, which makes it easy to test your VM
implementation with various user memory sizes.
the size of the user pool, which makes it easy to test your VM
implementation with various user memory sizes.