AWS IoT

SeeedStudio BeagleBone Green is included in one of the AWS IoT Starter Kits.

From https://aws.amazon.com/iot/getting-started/: 

AWS IoT Device SDK

The AWS IoT Device SDK helps you to easily and quickly connect your hardware device or your mobile device to AWS IoT. It offers enhanced features so that you can seamlessly interact with the device gateway and the device shadow that will enable you to quick start your development. The Device SDK supports a variety types of devices, from basic to industrial hardware devices. Learn more about theAWS IoT Device SDKs.

AWS IoT Starter Kits

The AWS IoT Starter Kits enable you to move quickly from idea to prototype. These physical kits are designed to help accelerate cloud-powered prototype development of connected devices and connect securely to AWS IoT. The kits include development microcontroller development boards, sensors and actuators, the AWS IoT Device SDK, and a simple getting started guide so that you can easily find the best fit for your products. You can purchase the kits from Amazon.com. If you already have the hardware board, you can download the SDK and samples to get started in minutes. Visit the APN partner portal to learn more about partners who provide AWS IoT Starter Kits.

Homepage: https://aws.amazon.com/blogs/aws/aws-iot-cloud-services-for-connected-devices/