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

SRCREV="815857a6057057faa3a0dcf2d7df03f305361550"

require linux-aspeed.inc