RTOS para Cortex M4 con pila 802.15.4 / 6LoWPAN

Estoy evaluando los sistemas operativos para usar en un proyecto de Internet de las cosas y no sé cuál es la mejor manera de proceder. Estoy usando una MCU TM4C123GH6PM con 32k RAM y un transceptor CC2520 802.15.4, sería genial si el sistema ya proporcionara controladores para ellos. El sistema...