Patches for xenomai & Robert C Nelson Kernel for Xenomai