I tried to install xenomai 2.6.5 using the instructions given at http://rtt-lwr.readthedocs.io/en/latest/rtpc/xenomai.html
After following the instructions given, when I reboot the machine using the new kernel, I am not able to use my keyboard or mouse.