NOTE:
The startup code startup_tm4c.c used in this project is
INCOMPLETE and does not work yet. It does not yet implement
the Reset_Handler.