X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=5893ce970b21fe12f707e4c3be55767e31c0034f;hb=84be0fa6a2efde38ca3e8e97ec17b53f0a16b399;hp=016c24d2de46ca88446b1fcfc6ba74650fc9c94e;hpb=f6e73cfd06d8b30a6e35b8e1664d5ad3293eaad8;p=pintos-anon

diff --git a/src/threads/init.c b/src/threads/init.c
index 016c24d..5893ce9 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -71,23 +71,17 @@ main (void)
   /* Clear BSS and get machine's RAM size. */  
   ram_init ();
 
-  /* Initialize ourselves as a thread so we can use locks. */
-  thread_init ();
-
-  /* Initialize the console so we can use printf(). */
-  vga_init ();
-  serial_init_poll ();
-  console_init ();
-
-  /* Greet user. */
-  printf ("Pintos booting with %'zu kB RAM...\n", ram_pages * PGSIZE / 1024);
-
   /* Break command line into arguments and parse options. */
   argv = read_command_line ();
   argv = parse_options (argv);
 
-  /* Set random seed if parse_options() didn't. */
-  random_init (0);
+  /* Initialize ourselves as a thread so we can use locks,
+     then enable console locking. */
+  thread_init ();
+  console_init ();  
+
+  /* Greet user. */
+  printf ("Pintos booting with %'zu kB RAM...\n", ram_pages * PGSIZE / 1024);
 
   /* Initialize memory system. */
   palloc_init ();