Binary: xeno-config

Debian packages that has this binary:

Package: libxenomai-dev

/usr/bin/xeno-config