xeno-config

Headers and static libs for Xenomai

Install

All systems
curl cmd.cat/xeno-config.sh
Debian Debian
apt-get install libxenomai-dev
Ubuntu
apt-get install libxenomai-dev
image/svg+xml Kali Linux
apt-get install libxenomai-dev
Windows (WSL2)
sudo apt-get update sudo apt-get install libxenomai-dev
Dockerfile
dockerfile.run/xeno-config

libxenomai-dev

Headers and static libs for Xenomai

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. This package contains development files (header files), the static libraries and scripts used to compile realtime applications.