I-pipe kernel patch for Xenomai - View it on GitHub