/* Prints a char string out of the ITM.  */
void am_hal_itm_print(char *pcString)
/* Prints a char string out of the ITM.  */
void am_hal_itm_print(char *pcString)
{
    uint32_t ui32Length = 0;
    while (*(pcString + ui32Length))
    {
        ui32Length++;
    }
    while (ui32Length)
    {
            am_hal_itm_stimulus_reg_byte_write(0, (uint8_t)*pcString++);
            ui32Length--;
    }
}