00001 /* sched.h */ 00002 00003 00004 // Definicion de la funcion de scheduler 00005 void scheduler(void); 00006