It's just the same tinyprintf library see http://www.sparetimelabs.com/tinyprintf/tinyprintf.php with added floating point support, it's tested on TI's Tiva Launchpad (TM4C123GH6PM Microcontroller).