#include <kernel.h>

volatile uint32 keTimerTick=0;

void keTimerIsr()
{
	++keTimerTick;
	keDoSched();
}

uint32 keGetTickCount()
{
	return keTimerTick;
}

void keDelay(uint32 ticks)
{
	uint32 timeuntil=keTimerTick+ticks;
	while((int32)(keTimerTick-timeuntil)<0)
		;
}