Amazon FreeRTOS provides everything you need to easily program connected microcontroller-based devices and collect data from them for IoT applications. You can get started by choosing a microcontroller that fully supports Amazon FreeRTOS features and capabilities from trusted providers like Espressif, Microchip, NXP Semiconductors, STMicroelectronics, Texas Instruments or others from the Amazon FreeRTOS Qualification Program. Then, you can use the Amazon FreeRTOS consoleto select the relevant software libraries for your devices and download the complete Amazon FreeRTOS operating system, including the device and application specific libraries.
Refer this to know more:
https://aws.amazon.com/freertos/?nc2=h_m1