mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-08-28 02:38:53 +08:00
Make it possible to use normal printf() if requested to allow output of floating point numbers.
Make it possible to use normal printf() if requested to allow output of floating point numbers.