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

SRCREV="33289b5d9452cec2e8bdb65bcce52725038f5261"

require linux-aspeed.inc