Use 9600 bps for Pintos serial, to match the speed used by the loader.

[pintos-anon] / AUTHORS

diff --git a/AUTHORS b/AUTHORS
index d1248e564ac3ca69289efb5b1e65bb08246e6198..cf5844ad2a42abb73ec485c891f4917d8ce5ac4d 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