X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fthreads.texi;h=e6e64f14532360ce098fc85670e053d3b4ebcede;hb=01711714d48e7c2383da109c6af92aebe552eae6;hp=40565994f536bbbec06e7a9beb25ae494cd4a60a;hpb=87167c23618329fc812ecabe00d4542dd3ec4d8d;p=pintos-anon

diff --git a/doc/threads.texi b/doc/threads.texi
index 4056599..e6e64f1 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -531,6 +531,12 @@ 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.
 
+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
  devices/timer.c       |   42 +++++-
  threads/fixed-point.h |  120 ++++++++++++++++++