Fix ld output with recent versions of GCC and binutils

[pintos-anon] / AUTHORS

diff --git a/AUTHORS b/AUTHORS
index d1248e564ac3ca69289efb5b1e65bb08246e6198..784002e03f3469101e9fbd2d10a97c9f1344c24d 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,7 +1,9 @@
 src                                                    -*- text -*-
 ---
 
-* Most code written by Ben Pfaff <blp@cs.stanford.edu>.
+* Pintos core originally written by Ben Pfaff <blp@cs.stanford.edu>.
+
+* Additional features contributed by Anthony Romano <chz@vt.edu>.
 
 * The original structure and form of this operating system is inspired
   by the Nachos system from the University of California, Berkeley.  A
@@ -9,10 +11,6 @@ src                                                   -*- text -*-
   Nachos C++ code into C.  These files bear the original UCB license
   notice.
 
-* Some of the source code is derived from code used in the
-  Massachusetts Institute of Technology's 6.828 advanced operating
-  systems course.  These files bear the original MIT license notice.
-
 projects
 --------