From e4d5401270aa5abd4bbff76e03a5e4e13372f218 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Mon, 6 Mar 2006 17:14:40 +0000 Subject: [PATCH] -u option should be -ul. Thanks to Josh Wiseman for reporting this bug. --- doc/vm.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/vm.texi b/doc/vm.texi index 840e506..6176bbd 100644 --- 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. -Also, you can use the @option{-u} option to @command{pintos} to limit +Also, you can use the @option{-ul} 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. -- 2.30.2