I understand most people are running Yocto on SoloX boards (this is what comes with Sabre SD board and makes life easier to support all peripherals). However Linux is not as fast as running monolithic kernel OS like uC/OS or FreeRTOS on any CPU.
Let me ask a few questions:
1. What are good solutions/providers that have drivers written for FreeRTOS, ThreadX or other similar OSes. What other people find the easiest path to move from Linux to lightweight RTOS?
2. Is there a software evaluation kit where I can boot into one of these RTOSes and exercise major peripherals of SoloX without the need to spend time writing my own drivers
3. What drivers are supported? For example in FreeRTOS BSP I don't see drivers for Ethernet controller or LCD video or MMC controller or USB.
What would you recommend?