I am developping a baremetal application for a Cortex-A9 core, which has a CoreSight debug interface. I am using GCC for compiling and GDB for debugging (JTAG Interface), and things work fine. However, as a next step, I would like to be able to print data…