kernel/init.c


1
2
3
4
5
6
7
8

#include <kernel/tty.h>
#include <kernel/io.h>
#include <kernel/serial.h>

void kernel_main(void) {
        tty_init();
        kprintf("Hello world\n");
}