SPRADC5 January 2024
The recommended way of configuring the PinMux for Jacinto devices is by using the PinMux tool. This tool is as well as the installer are available online and can be used offline.