#include <kernel/tty.h> #include <kernel/io.h> #include <kernel/serial.h> void kernel_main(void) { //tty_init(); kprintf("Hello world\n"); }