X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fvm.texi;h=733a830b6882d04cb8a598e8dfbe334b73b55284;hp=acda932b9caaf609f1fce811f457ed185647f656;hb=97c0fe728053129a23dfc556e96fdf4000e7017f;hpb=5d2db354660571fe33495add5507bf07797f3860

diff --git a/doc/vm.texi b/doc/vm.texi
index acda932..733a830 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -422,13 +422,6 @@ I/O, in the meantime processes that do not fault should continue
 executing and other page faults that do not require I/O should be able to
 complete.  These criteria require some synchronization effort.
 
-Write your code so that we can choose a page replacement policy at
-Pintos startup time.  By default, the LRU-like algorithm must be in
-effect, but we must be able to choose random replacement by invoking
-@command{pintos} with the @option{-rndpg} option.  Passing this option
-sets @code{enable_random_paging}, declared in @file{threads/init.h}, to
-true.
-
 @node Lazy Loading
 @subsection Lazy Loading