http://www.sysgo.com/news-events/press/press/details/article/pikeos-provides-safety-and-security-for-communication-platform-from-x-es/
PikeOS Provides Safety and Security for Communication Platform...
SYSGO is announcing the support of its pre-certified hypervisor PikeOS for the XPedite6101 Single Board Computer (SBC) from Extreme Engineering Solutions (X-ES). The XPedite6101 is based on a FreescaleTM QorIQ architecture with T1042 processor, designed for high-performance