From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 2 Sep 2004 22:53:05 +0000 (+0000)
Subject: Source file origins.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6cca34dd1428242886699c8f415ff11bd2436460;p=pintos-anon

Source file origins.
---

diff --git a/src/ORIGIN b/src/ORIGIN
new file mode 100644
index 0000000..701276d
--- /dev/null
+++ b/src/ORIGIN
@@ -0,0 +1,12 @@
+Source file origins:
+
+threads/loader.S: From MIT class code but heavily modified.
+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.
+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.