void start_scheduler()
{
setup_irq(TIMER_IRQ, &timer_handler);
start_hw();
switch_to_ctx(liste);
}
void start_sched(void){
//Association de la fonction yield à l'interruption TIMER_IRQ
setup_irq(TIMER_IRQ, yield);
//Initialisation du matériel
start_hw();
//Lancement de la fonction yield
yield();
}
void start_sched()
{
setup_irq(TIMER_IRQ, yield);
setup_irq(HDA_IRQ, inst_done);
start_hw();
}
void start_sched()
{
setup_irq(TIMER_IRQ,yield);
start_hw();
irq_enable();
}
