In "Tiva TM4C129ENCPDT Microcontroller DATA SHEET" (DS-TM4C129ENCPDT-15863.2743 SPMS441B), in "Table 2-4. Memory Map", ROM is located starting from "0x0200.0000":
"0x0200.0000 0x02FF.FFFF On-chip ROM (16 MB)"
When I am analyzing assembly listing of C code, I see that "ROM_UARTCharsAvail" uses ROM address "0x01000014".
So maybe the "0x0200..." address should be "0x0100..." ?
Best wishes,
Piotr Kasprzyk