KBRANCH ?= "dev-4.19"
LINUX_VERSION ?= "4.19.16"

SRCREV="bbc22aa2953e0330ec9b43f1b866a59ec53fa884"

require linux-nuvoton.inc