1KBRANCH ?= "dev-5.1"
2LINUX_VERSION ?= "5.1.12"
3
4SRCREV="72dc92286966c86e8fa6039922eb510ce27e20c2"
5
6require linux-nuvoton.inc
7