Microcontroller board built with the Texas Instruments TM4C123BE6PM