path: root/kernel/src/scheduler/scheduler.c

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

void schedule(void)
{

}