KBRANCH ?= "dev-4.13"
LINUX_VERSION ?= "4.13.16"

SRCREV="158c8e15d577cebdb047f5d553e12054b15b1b84"

require linux-obmc.inc