X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=729c25ffcd528957ea96e5f22cf2cf1a439d2cfb;hb=d0d14ca50fbac167253e1e1d8d806bfd749a5e8a;hp=35ce92a2e255c7b68865931877dba832c9ff048a;hpb=b2a1e970fa78d8b4c31239ff2ac9ef2b4bab09a7;p=pintos-anon

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 ();