Amazon FreeRTOS is an IoT operating system for microcontrollers that extends the FreeRTOS kernel with software libraries for security, connectivity, and updateability to make small, low-powered edge devices easy to program, deploy, secure, connect, and manage.
https://aws.amazon.com/about-aws/whats-new/2019/10/secure-elements-in-amazon-freertos/