LINUX_VERSION ?= "4.19.88"
LINUX_RPI_BRANCH ?= "rpi-4.19.y"

SRCREV = "988cc7beacc150756c3fbe40646afcf8438b741b"

require linux-raspberrypi_4.19.inc