Amazon FreeRTOS

Amazon FreeRTOS is an open source, real-time operating system that makes it easy to program, deploy, secure, connect, and manage ESP32 devices.  It enables you to easily and securely connect your ESP32-based devices to AWS cloud services like AWS IoT Core or to edge devices running AWS Greengrass. Included is a kernel and a growing set of software libraries suitable for use across industry sectors and applications.

Amazon FreeRTOS is supported on all versions of ESP32-DevKitC and the ESP-WROVER-KIT development boards. 

Visit AWS Getting started with Espressif ESP32-DevKitC and ESP-WROVER-KIT