LINUX_VERSION = "3.19"
KBRANCH ?= "master"
# This points at the 'xilinx-v2015.2' tag
SRCREV ?= "3f30b3337af61f1ed98f7185e37c6bf9202b3204"

include linux-xlnx.inc

COMPATIBLE_MACHINE_zynqmp = "zynqmp"