We plan to start using Linux in our projects based on P1020. The HW design was initially based on P1020RDB-PC, but in practice it went quite far for original one. For sure at least PREEMPT_RT will be required, but most probably we will need Xenomai. I'd like to understand more the available choices in the terms of Linux source.
What is the best source of Linux for P1020?
I assume the kernel offered by Freescale QorIQ SDK is the best in the terms of compatibility with P1020 and support for HW features. It also offers 3.12.x PREEMPT_RT kernel out of box. However it is quite old kernel, additionally we were not able to patch it by Xenomai (no available patch for 3.12. Unfortunately 3.14 did not work). How long that Freescale 3.12 kernel is expected to be maintained? Are there any plans to switch to more recent versions?
We thought also about using one of most recent vanilla kernels (it is easy to apply Xenomai patches). Assumption is that all HW specific features from Freescale are being continuously integrated to mainline vanilla kernel. Is it a valid assumption? How does it look in practice? How good in the terms of support of P1020/T1020 is vanilla 4.1?
Thank you in advance,