Xenomai

Xenomai

Informations

Développé par	Philippe Gerum (d) et Gilles Chanteperdrix (d)
Première version	Août 2001
Dernière version	3.3.1 (16 avril 2025)[1]
Dépôt	github.com/xenomai-ci/xenomai
Site web	www.xenomai.org

Xenomai est une extension libre du noyau Linux lui apportant des fonctionnalités temps réel dur. Il apporte une approche symétrique entre programmation noyau et programmation système au niveau utilisateur sous Linux.

Il introduit le concept de machine virtuelle en programmation temps réel et permet ainsi de disposer de plusieurs interfaces de programmation, au choix du programmeur.

Xenomai utilise la couche de virtualisation Adeos.

Il se présente sous la forme d'un correctif logiciel à installer 'par-dessus' (ie après l'installation de) le noyau Linux choisi.

• Système d'exploitation temps réel
• RTAI
• linux-rt, obtenu à l'aide du correctif PREEMPT_RT d'Ingo Molnar