Hello Guys,,
I have ported mbed-OS to Tiva C TM4C123. I hope this could be useful for someone. For now, GPIO and microsecond ticker are working perfectly. I am working on adding more peripherals and libraries. And I will contact mbed soon to see if I can add it to their website
You can visit my github account to download it
https://github.com/Mohamedsaleh14/mbed-porting-to-tiva-C--using-Eclipse-and-ARM-GCC