A C++ Application Development Platform for Texas Instruments Tiva TM4C12x Family Boards