I hope you don't mind that we move this to the xenomai-core mailing list
with CC, since I fear the same questions will be raised again there at
Jan Kiszka wrote:
> Now the next question: You are providing i386 packages so far. Do you
> have plans for x86-64 as well?
The respective debian/control line currently is:
Architecture: amd64 arm i386 ia64 powerpc
At http://packages.qa.debian.org/x/xenomai.html , you can also see the
current status of the different architectures' build daemons (i.e., a
link to the logs).
Xenomai-core mailing list