#include <kernel/input/input.h>
#include <kernel/timer/timer.h>
#include <kernel/system.h>

char getch()
{
	keyboard_char_buffer = 0;
	while (keyboard_char_buffer == 0) {
	};
	return keyboard_char_buffer;
}