From b6b1e6db07a20a0b3025c2ae62a58e80c1af841b Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 13 Sep 2004 03:00:49 +0000
Subject: [PATCH] Don't assume 4 kB pages.
---
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 4859d42..9ab0447 100644
--- 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 ();
--
2.30.2