TI Tiva ARM projects using GCC/OpenOCD/CMake