tm4c123x
tm4c123x provides peripheral access API for Texas Instruments TM4C123x microcontroller series.
The register definitions are extracted from the DSLite supplied with the TM4C module of the Energia IDE, converted to SVD using ti2svd, generated as Rust code using svd2rust.