Check this:

You can send data to AWS IoT using our existing firmware.

Amazon RTOS should only work on raspberry etc.