This message was posted on behalf of Intel Corporation
Thanks for your interest in AWS IoT.
Unfortunately we don't have any support for Intel Arduino platform currently. Our Arduino SDK works only with Arduino Yun. As you have mentioned it has to be C or NodeJS SDK for Edison.
Adding support to Intel Edison Arduino platform is in our roadmaps.