/usr/bin/cmd_bits
/usr/bin/cmd_read
/usr/bin/cmd_write
/usr/bin/insn_bits
/usr/bin/insn_read
/usr/bin/insn_write
/usr/bin/rtcanrecv
/usr/bin/rtcansend
/usr/bin/wf_generate
/usr/bin/wrap-link.sh
/usr/bin/xeno
/usr/bin/xeno-regression-test
/usr/bin/xeno-test
/usr/sbin/analogy_config
/usr/sbin/rtcanconfig
/usr/sbin/rtps
You may install this package on Debian with
apt-get
install xenomai-runtime