Another thing to note is that since Amazon has acquired the FreeRTOS project, FreeRTOS now includes built in support for a lot of IoT related things.

AWS is certainly tied in the best but you can still use the networking and MQTT library however you want