src/sys/schedule.c


1
2
3
4
5

void init_scheduler(void)
{
	// Set rthread to usrloopthread - an infinitely running thread so that the pointer will never be null
	// Initialize Rotating Buffers
}