kernel: x86-64 idt

kernel-src/arch/x86-64/main.c

@@ -2,6 +2,7 @@
 #include <logging.h>
 #include <arch/cpu.h>
 #include <arch/gdt.h>
+#include <arch/idt.h>
 
 static cpu_t bsp_cpu;
 
@@ -9,5 +10,7 @@ void kernel_entry() {
 	cpu_set(&bsp_cpu);
 	logging_sethook(arch_e9_putc);
 	arch_gdt_reload();
+	arch_idt_setup();
+	arch_idt_reload();
 	__assert(!"kernel entry end");
 }