#include <stdlib.h>
#include "../idt.h"
#include "ports.h"

template <>
void kirq<0x0>(interrupt_frame*) {
  printk("Interrupt 0x0\n");

  // send end of interrupt
  pic1_t pic1;
  pic1.write(0x20);
}

template <>
void kirq<0x1>(interrupt_frame*) {
  printk("Interrupt 0x0\n");

  // send end of interrupt
  pic1_t pic1;
  pic1.write(0x20);
}