compiled newlib, need to hook up the system calls

kernel/interrupts.c

@@ -34,9 +34,8 @@ typedef struct __attribute__((packed)) {
     uint32_t eip, cs, eflags, useresp, ss;
 } registers;
 
+// (interrupts.S)
 extern void load_idt(void);
-
-// isr stubs
 extern void isr0();
 extern void isr1();
 extern void isr8();
@@ -127,10 +126,6 @@ void common_interrupt_handler(registers *args) {
             while(1);
             break;
         }
-        case 32:
-            // wake the PIT timer driver
-            send_eoi_master();
-            break;
         case 33: {
             uint8_t data = ps2_read_data();
             send_eoi_master();