Kernel/Source/Arch/GIC.c

@@ -53,13 +53,11 @@ void GICCWriteEOIR(UInt32 irqID) {
 }
 
 void GICDispatch(ExceptionsType type) {
-    OSLog("GICDispatch: %d\n", type);
     if (type != ExceptionsIRQEl1h && type != ExceptionsIRQEl064) return;
     UInt32 irqID = GICCReadIAR() & 0x3FF;
     if (irqID == 1023) return; // spurious interrupt
 
     if (irqID == kTimerIRQ) {
-        OSLog("Timer IRQ\n");
         TimerReset(kTimerFrequency);
     }