printf() function for Arduino Due

Actually i need printf() support for implementing Relic Toolkit library. Even on including stdio.h header file, why is printf() not working. Can you please explain your approach of having a way out.