Ordonnancement

Nous utilisons actuellement un ordonnancement préemptif à base de round-robin. L'appel à la méthode do_schedule est réalisé après chaque interruption du timer ou un syscall, à condition que le flag resched soit égal à 1.

L'algorithme d'ordonnancement peut être changé simplement en utilisant la méthode set_scheduler qui prend en argument une structure scheduler_description_t qui contient les méthodes nécessaires pour l'ordonnancement.