Problem setting up Orocos with Xenomai kernel

Hi everyone,

I am currently using rtt_ros_integration under Ubuntu Precise. Ros version
is Groovy.
I wanted to use Xenomai kernel, but I was not successful.
These are the steps that I followed:

1- install a fresh copy of Ubuntu Precise.
2- install ROS Groovy
3- Build and install Xenomai-Patched kernel using instructions given in
http://jbohren.com/articles/xenomai-precise/
4- Install rtt_ros_integration, after setting the following environment
variables for Xenomai:

echo 'export LD_LIBRARY_FLAGS=$LD_LIBRARY_FLAGS:/usr/xenomai/lib' >>
~/.bashrc
echo "export OROCOS_TARGET=xenomai" >> ~/.bashrc
echo 'export PATH=$PATH:/usr/xenomai/bin/' >> ~/.bashrc
echo "export XENOMAI_ROOT_DIR=/usr/xenomai" >> ~/.bashrc
. ~/.bashrc

(Above lines are from this:
https://code.google.com/p/atrias/wiki/XenomaiSetup)

After this step, an option was added in the Grub boot menu, with the
xenomai-patched kernel.
I can boot, but there is no deployer-xenomai.

What should I do to get the xenomai deployer?
I appreciate any help and suggestion :-)

Bests,
Mohamad