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

SRCREV="6e79807fd36a3f7abd0e8142654630fda3929a96"

require linux-obmc.inc