Un peu de pub pour un noyau temps réel gratuit utilisé dans l'industrie.

http://sdpos.org/

Je ne suis "que" son utilisateur.

La licence LGPL indique qu'il est gratuit.

Pensez à contribuer (faire des modifs ET les donner)...

Il dispose d'un éditeur de ressource pour le configurer, de la simulation...

Entre autres microcontroleurs, les pics sont gérés.