#include <stdio.h>
#include <kernel/tty.h>

int kernel_main(void) {
	//Prepare the screen, and blank it out.
	screen_initialize();
	
	//Print a copyright message.
	puts("(c)");
	set_screen_text_color(GREEN);
	puts(" Project");
	set_screen_text_color(RED);
	puts("RED");
	set_screen_text_color(WHITE);
	puts(", 2019\n");
	
	for(;;) {}
	return 0;
}