sinon j'en ai aucune idée, je peux dire que chez nous on en a pas mais osef, et qu'il y a aussi d'autres RTOS, par ex les derniers wrt54g (et la nspire) sont sous nucleus. Je peux aussi mentionner NuttX utilisé par quelques produits de gros comme Sony et Samsung (tizen rt, pas tizen normal)