je recherche un petit OS Multi-tache temps réel, gratuit, avec les sources pour etudier l'ordonnanceur, la gestion mémoire etc. Qui tourne sur PC et qui soit pas une usine à gaz. Merci d'avance