Xenomai ist ein Echtzeit-Entwicklungs-Framework, das mit dem Linux-Kernel zusammenarbeitet, um durchgängige, von der Schnittstelle unabhängige, harte Echtzeitfähigkeit für Benutzerprozesse bereitzustellen, die nahtlos in die Linux-Umgebung integriert sind. Xenomai beruht auf einem abstrakten Echtzeit-Betriebssystemkern, der zum Erstellen einer beliebigen Echtzeit-Schnittstelle nutzbar ist, über einem Kern, der eine Menge generischer Echtzeit-Betriebssystem-Dienste exportiert. Eine beliebige Anzahl von Echtzeit-Betriebssystem-Personalities, die »Skins« genannt werden, können über diesem Kern erstellt werden und den Anwendungen ihre spezifische Schnittstelle bereitstellen. Dabei verwenden sie die Dienste eines einzelnen generischen Kerns, um sie zu implementieren. (non)