#include <types.h>
#include <scheduler.h>

void schedule(void)
{
}