#include "../drivers/vga.h"

void kernel_main(void) {
    vga_init();
    vga_set_color(VGA_COLOR_WHITE, VGA_COLOR_LIGHT_GREEN);
    vga_println("---  BOOT PEREDOS  ---");
    vga_println("---END BOOT PEREDOS---");
    while (1);
}