Draft: lab 3 irq wtf

kernel/main.c

@@ -7,23 +7,28 @@
 #include <shell.h>
 #include <vector.h>
 #include <utils.h>
+#include <exception.h>
+#include <interrupt.h>
 
 void init(void *dtb, file_node_t **initrd_root)
 {
+  init_exception();
+  init_interrupt();
+
   // UART
   uart_init();
 
   // Device tree
-  INFOR(dtb);
+  DEBUG_DTB(dtb);
   dtb_start = dtb;
   vector_t *dtb_struct_cbs = make_vector(0);
   VEC_PUSH(dtb_struct_cbs, &initrd_dtb_cb);
   VEC_PUSH(dtb_struct_cbs, &mman_dtb_memory_cb);
   fdt_traverse(dtb_struct_cbs);
-  DEBUG("device tree parse done");
+  DEBUG_DTB("device tree parse done");
 
   // Initramfs
-  INFOR(initrd_start);
+  DEBUG_INITRD(initrd_start);
   *initrd_root = initrd_init();
 
   // Memory (Buddy system)