This ARM-powered Aithon board runs Chibios/RT

The Aithon - which is targeted at motor and robotics applications - is powered by an STM32 Cortex M4 MCU and runs Chibios/RT, an open source RTOS (real time operating system).