X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=11d9875ce7beabe78e2ebb8e9079d7402bb31113;hb=d4def0ac6ef072cf0cf8a968784bc21371bd4d58;hp=bb05dfb326b091e48cdeff21f744c73ddd0179f6;hpb=13177c92575c4e0ddc1ca1600b24f5058e349bd3;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index bb05dfb..11d9875 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -314,11 +314,6 @@ the running process.  However, even in the kernel, an attempt to
 access memory at an unmapped user virtual address
 will cause a page fault.
 
-You must handle memory fragmentation gracefully, that is, a process that
-needs @var{N} pages of user virtual memory must not require those pages
-to be contiguous in physical memory (or, equivalently, in kernel virtual
-memory).
-
 @menu
 * Typical Memory Layout::       
 @end menu