X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffilesys.texi;h=e724d96ed7d2223fdfbd8e924bd6d2986e19b7e7;hb=381329c5b3f75cf9c1bc1abda227b2e5428f21b9;hp=b1b6165b609e4c932f24b4fe9a2d174bcc837749;hpb=8c7d62e474105987a721bcf071caba293ee65cba;p=pintos-anon

diff --git a/doc/filesys.texi b/doc/filesys.texi
index b1b6165..e724d96 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -125,7 +125,7 @@ every time a write is made off the end of the file.  Your file system
 must allow this.
 
 There should be no predetermined limit on the size of a file, except
-that a disk cannot exceed the size of the disk (minus metadata).  This
+that a file cannot exceed the size of the disk (minus metadata).  This
 also applies to the root directory file, which should now be allowed
 to expand beyond its initial limit of 16 files.
 
@@ -312,10 +312,16 @@ Here's a summary of our reference solution, produced by the
 @command{diffstat} program.  The final row gives total lines inserted
 and deleted; a changed line counts as both an insertion and a deletion.
 
-This summary is relative to the Pintos base code, but we started from
-the reference solution to project 3.  Thus, the reference solution runs
-with virtual memory enabled.  @xref{Project 3 FAQ}, for the summary
-of project 3.
+This summary is relative to the Pintos base code, but the reference
+solution for project 4 is based on the reference solution to project 3.
+Thus, the reference solution runs with virtual memory enabled.
+@xref{Project 3 FAQ}, for the summary of project 3.
+
+The reference solution represents just one possible solution.  Many
+other solutions are also possible and many of those differ greatly from
+the reference solution.  Some excellent solutions may not modify all the
+files modified by the reference solution, and some may modify files not
+modified by the reference solution.
 
 @verbatim
  Makefile.build       |    5