#ifndef SCHEDULER_H_INCLUDED
#define SCHEDULER_H_INCLUDED


#include "asl.h" 
#include "pandos_const.h"
#include "pandos_types.h"
#include <umps3/umps/regdef.h>
#include "umps3/umps/cp0.h"
#include <umps3/umps/libumps.h>
#include "syscall.h"
#include "libraries.h"


/*  The scheduler function of the kernel.
 *  It dispatches a new process and gives control to it.
 */
void Scheduler();

#endif