#ifndef SCHEDULER_H
#define SCHEDULER_H

#include <process.h>

process_t *scheduler(void);

#endif