Xenomai n"'a rien a voir avec un linux légé ou non, au contraire, c'est plutot lourd. Bref

Nucleus est peut-etre utilisé, mais il n'est pas libre/ouvert contrairement a un linux par exemple (ou un BSD ou n'importe quel OS ouvert)