#ifndef SCHEDULER_H
#define SCHEDULER_H

extern char show_tics;

void clock();
void schedule();
void run_task(int *page_dir, void *task, int task_size);

#endif