We have written and Arduino library for AWS IOT based on the work done at ESP-IDF. This enables connecting Hornbill ESP32 as well as other ESP32 boards securely with TLS 1.2 with the AWS.

The tutorial on setting up the account and using the lib can be found here: https://www.exploreembedded.com/wiki/index.php?title=AWS IOT with Arduino ESP32