Xenomai Kernel Patch

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.