The maximum clock frequency of the TM4C1231H6PMIR is 80 MHz.
The pin muxing on the TM4C1231H6PMIR can be configured using the Pin Muxing Register (PMCn) and the Pin Configuration Register (PCTL).
The NMI pin is used to trigger a non-maskable interrupt, which is a high-priority interrupt that cannot be masked or disabled by software.
The ADC on the TM4C1231H6PMIR can be used by configuring the ADC clock, selecting the ADC channel, and starting the ADC conversion using the ADCCTL register.
The maximum current rating of the GPIO pins on the TM4C1231H6PMIR is 4 mA per pin.