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

SRCREV="aca92be80c008bceeb6fb62fd1d450b5be5d0a4f"

require linux-obmc.inc