The maximum clock frequency of the TM4C1230D5PMIR is 80 MHz.
The pin muxing on the TM4C1230D5PMIR can be configured using the Pin Muxing Register (PMCn) and the Pin Configuration Register (PCn).
The maximum current rating of the GPIO pins on the TM4C1230D5PMIR is 4 mA per pin.
The ADC on the TM4C1230D5PMIR can be used by configuring the ADC control registers (ADCnCTL) and the ADC sequence registers (ADCnSS).
The NMI (Non-Maskable Interrupt) pin on the TM4C1230D5PMIR is used to generate a non-maskable interrupt, which can be used to trigger an interrupt handler.