basickernel/kernel/kernel.c

#include "../drivers/screen.h"

void main() {
	clear_screen();
	print("Kernel booted succesfully");
}