I wonder what is the status of bug:
SDOCM00082199 NDK needs to make miniPrintf option
Currently the printf functions are hijacked by the NDK with no straighforward fix.
This is really annoying, and should be a really basic configuration option for the NDK. I hope it will be fixed in the very first upcoming release of the NDK.
See also: http://e2e.ti.com/support/embedded/bios/f/355/t/183847.aspx
This thread has a "verified answer", but its just a plain hack that's not a solution to the problem.
I general, the NDK does not seem to relate too much to RTSC, as using printf functions directly is just stupid in that environment, as the System_printf function from xdc.runtime.System package should have been used instead.
How is work progressing with bringing the NDK up to a proper RTSC compliant package, with properly mangled symbol names?
Thanks,
Oyvind