while(1 == 1)
{
        if(inportb("0x64") == 0x01)
	{
		k_printf(inportb("0x60"), 5);
		update_cursor(6, 0);
	}
}