Other Parts Discussed in Thread: TM4C129ENCPDT, TM4C129ENCZAD, TM4C1294NCZAD, TM4C1292NCZAD, TM4C129DNCPDT, TM4C1294NCPDT, TM4C129DNCZAD, TM4C129CNCPDT, TM4C1290NCPDT, TM4C1292NCPDT, TM4C129CNCZAD, TM4C1290NCZAD,
Tool/software: TI-RTOS
TM4C129X microcontrollers are not in the BIOS 6.45.02.31 release notes list of supported devices. This is the BIOS that came with the installation of TI-RTOS version 2.16.0.8 which is the latest for TM4C (as far as I know).
Its a bit shocking to discover the platform I spent weeks learning doesn't support my microcontroller. Please tell me this is a document mistake...