From d0d14ca50fbac167253e1e1d8d806bfd749a5e8a Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 8 Sep 2004 00:08:35 +0000
Subject: [PATCH] Update name to Pintos.

---
 src/threads/init.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/threads/init.c b/src/threads/init.c
index 35ce92a..729c25f 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -58,7 +58,7 @@ main (void)
   serial_init_poll ();
 
   /* Greet user. */
-  printf ("Booting cnachos86 with %'d kB RAM...\n", ram_pages * 4);
+  printf ("Pintos booting with %'d kB RAM...\n", ram_pages * 4);
 
   /* Parse command line. */
   argv_init ();
-- 
2.30.2