Prueba con printf, yo lo uso con los Kinetis que tambien son ARM y usan MCUxpresso basado en Eclipse, y me funciona perfectamente. Puedes ver cualquier cosa en tiempo real en la ventana de la consola.
Con printf puedes enviar mensajes, variables o una mezcla de ambos para ver en tiempo real lo que está sucediendo en el programa, es algo parecido el sistema de Debug de Arduino, mucho mejor que trabajar con Breakpoints.
Además printf permite formatear la salida de las variables a la Consola de Debug, yo uso %d para variables numéricas y %s para cadenas, pero hay muchas más opciones.
También lo utilizo cuando programo en C/C++ para Raspberry, exactamente igual.
