RTOS pour Cortex M4 avec pile 802.15.4 / 6LoWPAN

J'évalue des systèmes d'exploitation à utiliser dans un projet Internet des objets et je ne sais pas quelle est la meilleure façon de procéder. J'utilise un MCU TM4C123GH6PM avec 32k RAM et un émetteur-récepteur CC2520 802.15.4, ce serait génial si le système fournissait déjà des pilotes pour...