I'd like to use the PinMux utility to configure a TM4C1294 part. However, neither the current offline nor the cloud version show any configurable settings for the processor. Other devices work (eg TM4C123x) , so it seems to be a bug specific to this device family.

