I'm using KDS 2.0, KDSK1.1.0, PEx, with the FRDM-K64F. I'd like to print the Floating point accelerometer values to the terminal using fsl_debug_console. Strings and integers print fine but it seems debug_printf() doesn't support float. I also tried
but everything except the floating point val would print. Is there a compiler setting that must be changed to support floating point printing?