RCN Kernels with Xenomai patches added. Latest version is in the 3.8.13-xenomai branch, and releases are tagged corresponding to the RCN tag they are built from. - View it on GitHub