As asked in class, I forgot to precise two things :
The scheduler class has to be placed between sched_stop and sched_rt. If multiple tasks have greenlights available, you’ll pick the task with the most greenlights left. If their number of greenlights is equal, you’re free to choose any task.
Note that the printed version has the wrong submission date 😉