KBRANCH ?= "dev-4.19"
LINUX_VERSION ?= "4.19.9"

SRCREV="68a3f3ea250cb3aa0e6aa11b0df09bd4d59a2009"

require linux-aspeed.inc