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

SRCREV="42a312b1b9fe4c0acfe812e7e5d6ff43cf81bb0f"

require linux-aspeed.inc