path: root/kernel/scheduler.h

void scheduler_init(void *pdirectory_dir);