kernel/init.c


1
2
3
4
5
6
7
8
9

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

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