Xenomai er en gratis utvidelse av Linux-kjernen som gir den hard sanntidsfunksjonalitet . Det gir en symmetrisk tilnærming mellom kjerneprogrammering og systemprogrammering på brukernivå i Linux.
Den introduserer konseptet med virtuell maskin i sanntidsprogrammering og gjør det mulig å ha flere programmeringsgrensesnitt , etter valg av programmerer.
Xenomai bruker Adeos virtualiseringslag .
Den kommer i form av en programvareoppdatering som skal installeres 'på toppen' ( dvs. etter installasjonen av ) den valgte Linux-kjernen.