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.