Xenomai
Patch the Kernel
Select the corresponding patch based on the current kernel version.
Rockchip
The patches are located in $sdk/docs/Patches/Real-Time-Performance/XENOMAI/.
Other
You can download a version matching your kernel from xenomai.