Installer un système xenomai

Bonjour,

Je n’arrive pas à installer un système xenomai au sein de mon raspberry pi 3b cela fais 1 semaine que je cherche un moyen mais je ne tombe que sur des anciens versions donc si quelqu’un si connais ou peux me donner des indices je suis preneur

Merci bonne journée