1 files changed, 0 insertions, 11 deletions
diff --git a/src/kern/init.c b/src/kern/init.c
index 8885c09..c776b4a 100644
--- a/src/kern/init.c
+++ b/src/kern/init.c
@@ -66,9 +66,6 @@ init1()
 
 init3()
 {
-  klogf("--- System Restart ---\n");
-  klogf("Setting the vector offset table to point to the start of flash.\n");
-
   /* Set the vector offset table to be at the start
    * of FLASH memory. */
   SCB.vto_r = 0x08000000;
@@ -92,10 +89,6 @@ void run_init_routines()
        ++initfn) {
     while (initfn == init_boundaries[initlevel] && initlevel < INIT_LEVEL_7) {
       ++initlevel;
-
-      if (initlevel > 2) {
-        klogf("[init%d]\n", initlevel);
-      }
     }
 
     (*initfn)();
@@ -103,11 +96,7 @@ void run_init_routines()
 
   while (initlevel < INIT_LEVEL_7) {
     ++initlevel;
-
-    klogf("[init%d]\n", initlevel);
   }
-
-  klogf("Initialization Routines Complete. Onto main()\n");
 }
 
 /*