banan-os/kernel/kernel/kernel.c

#include <kernel/tty.h>

#include <stdio.h>

void kernel_main()
{
	terminal_initialize();
	printf("Hello from the kernel!\n");
}