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.  Versions prior to bone41 are branches due to me climbing the git learning curve.