I am using "TWR-K20D72M" board and "IAR Embedded Workbench IDE" software for coding.this board support virtual serial terminal using "OSBDM/OSJTAG - CDC SERIAL PORT" for display. this terminal supports printf() means using printf() i can print any value in this virtual terminal. if i print any integer,hexadecimal,octal then this printf works properly. please try to solve my below query.
1) using printf if i want to print float value then this will not print float value so i can't print float value in virtual terminal
2) also if i try to convert this float value in string using sprintf() also this function not work properly in this board.
please give me library or API supported by this board so that i can print float value in virtual terminal for this board.