threads/mmu.h: Ditto.
threads/io.h: Also from MIT class code but less modified.
-threads/synch.c: More or less transliterated from Nachos' synch.cc.
+threads/synch.c: More or less transliterated from Nachos code.
filesys/filesys.c: Ditto.
filesys/filehdr.c: Ditto.
-All other files written by me, although inspiration is often due to
-Nachos or in some cases Linux.
+All other files written by me from scratch, although inspiration is
+often due to Nachos or in some cases Linux.