thanks to the previous Debian packaging work of Paul Corner (and of
course, all the Xenomai core developers), we now have xenomai officially
in Debian (i.e. Debian "sid", ready for the next Debian release "lenny").
For Debian related bugs, please use the Bug Tracking System at
bugs.debian.org. Everything else should stay the same as before, except
that all the Debian related files under debian/ are maintained inside
Debian (and can be backported to Xenomai "upstream", if desired in
Xenomai-core mailing list