Can anyone tell me which distributions are comparible with Xenomai? It seems that the kernel ipipe patch doesn't support any of the LTS distributions like RHEL (3.10) or Ubuntu (3.14).