#include <syscall.h>

void putch(char ch)
{
	// TODO: Implement framebuffer writing
	//if (ch != 0)
	//syscall_putch(ch);
}