Dynamic IRQ handling

kernel/platform/i386_pc/boot/bootmain.c

@@ -38,6 +38,7 @@ SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 #include <sys/mm.h>
 #include <sys/pic.h>
 #include <sys/pit.h>
+#include <sys/isr.h>
 #include <mm/pmm.h>
 #include <mm/bba.h>
 #include <mm/liballoc.h>
@@ -135,14 +136,8 @@ void bootmain(void *mbootptr) {
   bba_init();
   mm_init();
   pit_init();
-  pic_unmask();
+   
   __asm__ volatile("sti");
 
-  char *string = malloc(12);
-  memset(string, 0, 12);
-  strncpy(string, "Hello world", 12);
-  dbgf("string = %s\n", string);
-  free(string);
-
   for (;;);
 }