cdsteinkuehler/linux-dev
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.
ShellMIT
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.
ShellMIT