# Binaries generated with the following script:
#
#    https://d1b0l86ne08fsf.cloudfront.net/mender-convert/raspberrypi/raspberrypi-integration-scripts.tar.gz
RASPBERRYPI_BINARIES="raspberrypi3-integration-2018.07.tar.gz"
RASPBERRYPI_KERNEL_IMAGE="kernel7.img"
MENDER_KERNEL_IMAGETYPE=zImage

source configs/raspberrypi_config