#include "../../kernel.h" #include "../arch.h" #include "interrupts/idt.h" #include "interrupts/irq.h" #include "mmap.h" #include "multiboot.h" #include "util.h" #include "vga.h" #include void entry(multiboot_info_t* mbd) { vga_clear(); idt_init(); remap_pic(); map_memory(mbd); enable_interrupts(); main(); } void panic() { printf("Kernel panic!\n"); disable_interrupts(); halt(); } void put_char(char character) { vga_put_char(character, VGA_DEFAULT_COLOR); }