Dépôts de sched-ext

2 dépôts publics de sched-ext au catalogue, du plus étoilé au moins étoilé.