Hi, I have over 8 years experience in C and embedded systems projects with NXP, Texas and STM microcontrollers. I have extensive experience with microcontrollers Tiva C, since I use it on projects in my job. This is a project I did: https://www.freelancer.com/projects/C-Programming/Implement-WebSockets-lwIP-running/. Also, I own a EK-tm4c1294XL board. :D