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.