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