KBRANCH ?= "dev-4.13-raptor-06-04-2018"
LINUX_VERSION ?= "4.13.16"

SRCREV="efdfeab01ad28ff1330134170153cee0b730671b"

require linux-obmc.inc