Install xenomai-doc by entering the following commands in the terminal:
sudo apt update sudo apt install xenomai-doc
Description:
Xenomai documentation
Xenomai is a real-time development framework cooperating with the Linux kernel in order to provide a pervasive, interface-agnostic, hard real-time support to user-space applications, seamlessly integrated into the GNU/Linux environment. Xenomai provides its own API and emulation layers ("skins") to make migration from other RTOS easier. Examples are: pSOS+, VxWorks, VRTX, uiTRON, RTAI, POSIX. . Documentation for Xenomai realtime API.
Homepage: http://www.xenomai.org/
Version: 2.6.4+dfsg-1
Section: universe/doc