// PingPongOS - PingPong Operating System

void sched_init()
{
}