RASPBERRYPI_CONFIG="raspberrypi0w"
RASPBERRYPI_KERNEL_IMAGE="kernel.img"
MENDER_KERNEL_IMAGETYPE=zImage
MENDER_DEVICE_TYPE="raspberrypi0w"

source configs/raspberrypi_config