TM4C1294NCPDT: MQTT on TivaC product

Hi Folks,

I have to develop / extend an IoT device based around EK-TM4C1294XL launchpad with MQTT service. The MQTT connection should support MQTT 3.1 or above protocol. Current code-base based on:

• TivaWare 2.1.4.178
• FreeRTOS 8.2.3
• LwIP 1.4.1

I have a problem for selecting the right MQTT library and I would like to get some guide. My concerns (possible risks) on the solutions that I getting into familiar with are below:

1. using TivaWare_C_Series-2.1.4.178\cc3100-sdk\netapps\mqtt implementation:
   1. undocumented implementation
   2. unknown FreeRTOS support: bare metal or FreeRTOS x compatible
   3. unknown TCP/IP stack: LwIP x or other stack
2. LwIP 2.1.2 + their own MQTT client:
   1. upgrade needed from LwIP1.4.1 to the latest LwIP, I could not find a comprehensive guide about upgrade (especial for Tiva related pats)
3. FreeRTOS 10.x with their MQTT implementation:
   
   1. TivaWare comes with FreeRTOS 8.2.3 so upgrade needed
   2. using their TCP/IP stack requires current code base to adopt

4. Download an arbitrary vanilla MQTT implementation:
   
   1. ...

So I would like somebody to help select one from the options above or advise a new one and provide some documentation, links, etc that helps me to adopt MQTT library into my ecosystem.

Regards,

Norbert