Check this:
You can send data to AWS IoT using our existing firmware.
Amazon RTOS should only work on raspberry etc.