Package: libxenomai-dev

"libxenomai-dev" package binaries on Debian:

/usr/bin/xeno-config

You may install this package on Debian with apt-get install libxenomai-dev