--- a/cos/kernel/handlers.c	Tue Dec 27 13:31:38 2011 +0100
+++ b/cos/kernel/handlers.c	Tue Dec 27 17:36:52 2011 +0100
@@ -57,13 +57,11 @@
 
 void setupIDT(void) {
   int i;
-  //panic("Just before filling IDT");
-  // After this line a crash occurs!
+
   // Fill all vectors with the default handler:
   for (i=0; i<256; i++) {
     setIDTentry(i, INTDEF, 0x08, 0x8E);
   }
-  //panic("Just after setting defhandlers in IDT");
 
   // Now set other then default handler:
   setIDTentry(0, INT0, 0x08, 0x8E);
@@ -96,11 +94,9 @@
   idtP.base = (uint64_t)idt;
   idtP.limit = (sizeof(IDT_entry) * 256) - 1;
   // call load IDT asm function:
-  //panic("Just before LIDT");
   loadIDT();
 
   PICremap();
-  //panic("Just before sti");
   asm("sti");
 }