This CDK stack generates a custom raspbian image which uses AWS IoT Fleet Provisioning to automate onboarding of Raspberry Pi devices to AWS IoT Core. - View it on GitHub