diff --git a/kernel/main.c b/kernel/main.c
index 107a20c..a136beb 100644
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -30,10 +30,11 @@ main()
   } else {
     while(started == 0) {}
     __sync_synchronize();
-    printf("hart %d starting\n", cpuid());
+    printf("Hart/Core [%d]: Starting\n", cpuid());
     kvminithart();  // turn on paging
     trapinithart(); // install kernel trap vector
     plicinithart(); // ask PLIC for device interrupts
+    printf("Hart/Core [%d]: Online\n", cpuid());
   }
 
   scheduler();