AWS IoT Device SDK for Embedded C