CC3200 : ARM Cortex M4 (Dual Core) com WiFi b/g/n com Nuttx , FreeRTOS, Energia

A CC3200-launchxl é um kit ARM cortex-m4 + WiFi b/g/n + sensores.
É um ponto de entrada para a Internet das coisas (IoT).

Nuttx com OpenOCD (JTAG/SWD) na KL25Z, STM32 e Tiva/Stellaris

Debug step-by-step quase sempre é necessário ou desejável para qualquer projeto.
Com o Eclipse+CDT+GNU ARM+OpenOCD é possível fazer isso.
A ideia é executar sistema operacional de tempo real Nuttx passo a passo pelo código fonte.

Nuttx 7.5 Realtime Operating System na STM32VLDiscovery, Tiva C, FRDM-KL25Z

O Nuttx (http://www.nuttx.org/)  é um sistema operacional de tempo real que tem praticamente tudo que tem no Linux.
A grande vantagem é que cabe em microcontroladores de 8-bits até 32-bits, consumo de energia ultra-low-power.