#include <kernel/print.h>
#include <kernel/sched.h>

void sched_init() {
    kprintf("Scheduler initialized\n");
}