TM4C123GH6PM: Semihosting on Tiva C Launchpad using OpenOCD

Hi, 

Context of the issue: 

I am working with EK-TM4C123GXL board. I am using the gcc arm toolchain.  

I wanted to get debug prints over the OpenOCD server using Semihosting. 

I compiled the project with --specs=rdimon.specs flag in the linker and included stdio.h.

Everything from compiling to flashing the image onto the target goes well. 

I have also made a call to initialise_monitor_handles(); function and checked if the __libc_init_array() is being called on startup.

I also enable arm semihosting on my OpenOCD server. 

Issue: 

I run into a Hardfault (Imprecise bus fault to be specific) whenever I try to execute a printf or puts function. If I remove these calls the project works fine, but with these calls I *always* get hit by the same fault.

Any comments/suggestions how I can use Arm Semihosting for this device over OpenOCD ? Any help is much appreciated. 

P.S.  I wish I could use the CCS for this task, but the client has given specific instructions to not do so. Please help if there's any example/suggestion with OpenOCD over GDB/Telnet only. 

Thanks & Regards

Pranjal