Don't assume 4 kB pages.

[pintos-anon] / src / threads / init.c

diff --git a/src/threads/init.c b/src/threads/init.c
index 4859d425d712df888229d10c9dda4c539210f163..9ab04476741e4f4580afc15ed454e71e34a237e6 100644 (file)
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -62,7 +62,7 @@ main (void)
   console_init ();
 
   /* Greet user. */
-  printf ("Pintos booting with %'d kB RAM...\n", ram_pages * 4);
+  printf ("Pintos booting with %'d kB RAM...\n", ram_pages * (PGSIZE / 1024));
 
   /* Parse command line. */
   argv_init ();