#include <vga.h>
#include <stdio.h>
#include <stdlib.h>
#include <serial.h>
void kernel_main() {
kprintf("Hello, World!\n");
dbgf("Hello serial World!\n");
}