TM4C129ENCPDT: UART and Ethernet initialization

Tool/software:

We are using TM4C129ENCP for ethernet communication iam trying to import the mongoose ethernet stack they are doing register level programming for UART,GPIO,ethernet,

They are including the below file 

https://github.com/cesanta/mongoose/blob/master/examples/ti/ek-tm4c1294xl-make-baremetal-builtin/hal.h

in this file they are including #include    "TM4C1294NCPDT.h", where can i find these files, i haven't found in TI website,

so copied from the GitHub link: https://github.com/speters/CMSIS/tree/master/Device/TI/TM4C , in this i can able to do the blinking an led, but uart initialization succesfful but it transferring the junk values.

"TM4C1294NCPDT.h" header file is correct which i am using or i need to change?

any comments ?

Regards,

Sandeep C