RTOS para Cortex M4 com pilha 802.15.4 / 6LoWPAN

Estou avaliando sistemas operacionais para usar em um projeto Internet das Coisas e não sei qual é a melhor maneira de prosseguir. Estou usando um MCU TM4C123GH6PM com 32k RAM e um transceptor CC2520 802.15.4, seria ótimo se o sistema já fornecesse drivers para eles. O sistema executará uma...