KBRANCH ?= "dev-5.1"
LINUX_VERSION ?= "5.1.9"

SRCREV="fa272957f698f24b90db374fe31a977f1a286c24"

require linux-aspeed.inc