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

SRCREV="a17b8ac585d7faa27799f425fa4326c7a1e7ae71"

require linux-nuvoton.inc