Anish,
Thanks for you pointers. Yes I can confirm that I am linking against XDC.
Again, simple to reproduce. For example I can take the TI supplied example project "client" from nsp_gmacsw_4_09_01_02 and add the line:
fprintf(stdout, "fprintf from thread: %d\n", Task_getPri(Task_self()));
to the function "LOCAL_linkStatus" (after "#include <ti/sysbios/knl/Task.h>" of course). The printf will work, the fprintf will not. If I add my workaround mentioned above, everything will work.
Best Regards,
-David