it works on real hw

kaleid/kernel/init/init.c

@@ -49,11 +49,6 @@ extern void pstest(void);
 // interrupts tests
 extern void divideByZero(void);
 
-void test(void)
-{
-    asm volatile ("hlt");
-}
-
 //
 // Entry point of the Kaleid kernel
 //
@@ -91,10 +86,9 @@ noreturn void BtStartKern(multiboot_info_t *mbInfo, uint mbMagic, void *codeSeg)
     IoPrintRtcTime();
 
     KernLog("There was %d ticks\n", IoGetRtcTicks());
-    for (uint i = 1; i < 200 ; i++) {
-        while (IoGetRtcTicks() < i * 10000) {
-        }
-        IoPrintRtcTime();
+    for (uint i = 1; i < 2048*15 ; i++) {
+        //IoPrintRtcTime();
+        KePauseCPU();
     }
 
     //divideByZero();