I have uploaded new Debian Etch packages for Xenomai (backport from unstable),
RTT and OCL 1.4.1. Instructions on how to install (or build) these packages
can be found here:

In short, this is what to do:

wget -q -O - http://people.mech.kuleuven.be/~psoetens/gpg/key.gpg | sudo
apt-key add -
sudo wget -q
http://www.fmtc.be/sources.list.d/fmtc.list -O /etc/apt/sources.list.d/fmtc.list

sudo apt-get install orocos-ocl-gnulinux-dev orocos-ocl-gnulinux-bin

...for the gnulinux target. 'xenomai' and 'lxrt' are supported as well.
Only i386 packages have been built.

Peter

PS: Yesterday we had a server problem on Orocos.org. All should be up and
running again by now.