The maximum clock frequency of the TM4C123GH6PGEI is 80 MHz.
The pin muxing on the TM4C123GH6PGEI 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 TM4C123GH6PGEI can be used by configuring the ADC module, selecting the input channel, and starting the conversion. The ADC result can be read from the ADC FIFO.
The NMI (Non-Maskable Interrupt) pin on the TM4C123GH6PGEI 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.