X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffilesys.texi;h=e724d96ed7d2223fdfbd8e924bd6d2986e19b7e7;hb=24f42d13ae77f577f94db2a48391abce1a916895;hp=9f06510b114e972fb3046ab5e25ffbeb32f9cebf;hpb=86eb2135221856911b6ea2d8f588d2cec3ec8cf4;p=pintos-anon

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 9f06510..e724d96 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -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