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

SRCREV="f6c8e6b7fbf6bc0f0cfc3f87e9b68bb7f3b7f840"

require linux-aspeed.inc