Interesting that Amazon is backing FreeRTOS. I haven’t used the OS myself but it seems pretty lightweight when compared to Linux. Maybe worth a look if you are building a scaled down system and want AWS support.
Amazon FreeRTOS is a new operating system for microcontroller-based IoT devices