Ok, no more distant rumblings about x86_64: a Xenomai port to this
architecture has officially started. A preliminary version of the I-pipe
for x86_64 is now available, which I'm going to use to port the Xenomai
Thanks to Paul Corner for ironing the /proc support, and also for his
help in testing the beast.
Xenomai-core mailing list