The maximum clock frequency of the TM4C1231D5PZI is 80 MHz.
The pin muxing on the TM4C1231D5PZI can be configured using the Pin Mux Utility tool provided by Texas Instruments, or by manually setting the registers according to the datasheet.
The maximum amount of current that can be sourced by the GPIO pins is 4mA, and the maximum amount of current that can be sunk is 8mA.
The ADC on the TM4C1231D5PZI can be used by configuring the ADC module using the ADCCTL0 and ADCCTL1 registers, and then triggering a conversion using the ADCCC register.
The NMI (Non-Maskable Interrupt) pin on the TM4C1231D5PZI is used to trigger a non-maskable interrupt, which can be used to respond to critical events such as a watchdog timer timeout or a power failure.
