KBRANCH ?= "dev-4.18"
LINUX_VERSION ?= "4.18.12"

SRCREV="b29e57c654b8d7cfa15d632fbc0ebfe0897b8203"

require linux-aspeed.inc