Do you have a question about the Texas Instruments EK-TM4C123GXL and is the answer not in the manual?