CCS/CC3220SF-LAUNCHXL: Enable CIO on AWS FreeRTOS

Part Number:CC3220SF-LAUNCHXL

Tool/software: Code Composer Studio

Hello,

I have a customer who is trying to enable CIO on an AWS FreeRTOS based project. We have checked the CCS debug settings to allow for CIO output, and the customer is using a printf() using the standard 

#include <stdio.h>

I have made sure that there is a '\n' newline character at the end of the print statement, and the printf buffer is flushed with fflush(). 

However, the customer is not seeing any console output in CCS, nor do they see an option for the CIO console in their debug session. 

Last thing I checked was the inclusion of libc.a which I have occasionally found to be the reason why the CIO function doesn't output anything, but this was a dead end.

Any thoughts on next steps to try?

Thanks,

Munan