The maximum clock frequency of the TM4C123BH6ZRBI7R is 80 MHz.
The pin muxing on the TM4C123BH6ZRBI7R 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 4 mA, and the maximum amount of current that can be sunk is 8 mA.
The ADC on the TM4C123BH6ZRBI7R can be used by configuring the ADC module using the ADCCTL0 register, selecting the input channel using the ADCCTL1 register, and then starting the conversion using the ADCPSS register.
The NMI (Non-Maskable Interrupt) pin on the TM4C123BH6ZRBI7R is used to trigger an interrupt that cannot be masked by the CPU, and is typically used for critical events such as a watchdog timer timeout.