KBRANCH ?= "dev-4.10"
LINUX_VERSION ?= "4.10.17"

SRCREV="39942d9f1d653354db365345ac38dfc113b0ec43"

require linux-obmc.inc