A me gli RTOS piacciono e non poco. In passato mi sono studiato tutte le librerie simil-RTOS quali Avr-Os, Scoop, RTuinOS ecc nonché ho provato anche port per Arduino/Atmel di veri RTOS quali FreeRTOS, ChibiOS quindi con me sfondi una porta aperta 
Di schedine ARM a casa ho l'Arduino Due (se tralasciamo una Rasp ma che considero più un SoC).