[Warning: First in a series of several issues applicable to
at http://packages.qa.debian.org/x/xenomai.html, you can find the latest
version of Debian's package "xenomai". The "diff" to xenomai 2.4.3
applies to the normal Xenomai distribution with an empty debian/ directory.
Feel free to synchronize the Debian changes back to the mainline Xenomai
repository, especially the Debian packaging has been fixed.
Xenomai-core mailing list