Some useful C libraries for ARM® Cortex™-M4F-based microcontrollers - Tiva™ C Series - from Texas Instruments.