#ifndef INTERRUPTS_H #define INTERRUPTS_H #include "lib/int/stdint.h" #define INT_MAX 255 // size of our interrupts table void int_install(); #endif