FreeRTOS is the market leading, de-facto standard Real Time Operating System for embedded systems from Real Time Engineers Ltd. It supports 35 architectures, received over 113000 downloads during 2014 and is professionally developed, strictly quality controlled, robust and free to embed in commercial products without any requirement to expose your proprietary source code.
More and more CPUs from NXP combine a Cortex-A and a Cortex-M in one processor. These devices are called Heterogeneous Multicore Processors (HMP). There are many advantages of this architecture. I.e. fast interrupt processing, new low power modes or IP protection.
The efus™A9X and PicoCOM™A9X from F&S are based on NXP i.MX 6SoloX which combines a Cortex-M4 and a Cortex-A9 in one package. F&S ported the BSP package from NXP to our own boards, which makes it possible to easily use the Cortex-M4 with FreeRTOS while running the Cortex-A9 with Linux (Buildroot, Yocto).