Эй, я все еще новичок, но чтобы установить xenomai, зайдите на сайт Xenomai , и вы можете найти там шаги по быстрой сборке. Там они не указали конфигурацию, поэтому вам придется искать в Интернете.
вот ссылка о ее использовании на французском языке (я могу говорить) все еще очень полезна.
Также документацию, которую вы можете установить, зайдя в центр программного обеспечения и набрав xenomai, вы найдете 3 пакета, одним из которых является документация. Оттуда вы также можете установить библиотеки xenomai.