RASPBERRYPI_CONFIG="raspberrypi4"
RASPBERRYPI_KERNEL_IMAGE="kernel7l.img"
MENDER_KERNEL_IMAGETYPE="zImage"
MENDER_DEVICE_TYPE="raspberrypi4"

source configs/raspberrypi_config