The files ee_printf.c and cvt.c are part of a package taken from:

    https://github.com/jpbonn/coremark_lm32

It supports floating point numbers but does not require malloc.

The file ee_printf.c has a copyright notice that only requires proper
disclosure in our documentation.
