#include <stdio.h>

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

void kmain(void)
{
	terminal_initialize();
	serial_initialize();


	terminal_writestring("test");

	serial_writestring("test!");

	printf("test..");
}