# Update Linux kernel for Raspberry Pi to 4.19.80. This version
# allows to run firmware KMS to support output through HDMI and
# DSI for the official 7" Raspberry Pi touch screen display.
# Bug-AGL: SPEC-2465
LINUX_VERSION = "4.19.80"
SRCREV = "3492a1b003494535eb1b17aa7f258469036b1de7"

ENABLE_UART_raspberrypi4 = "1"