anchor.diff:  }
   
   do_compile() {
  -	for i in ${KERNEL_DTS_INCLUDE}; do
  -		DTSI_NAME=`basename $i`
  -		if test -e ${STAGING_KERNEL_DIR}/$i; then
  -			mkdir -p ${WORKDIR}/devicetree
  -			cp ${STAGING_KERNEL_DIR}/$i ${WORKDIR}/devicetree/${DTSI_NAME}
  -		fi
  -	done
  -
   	if test -n "${MACHINE_DEVICETREE}"; then
   		mkdir -p ${WORKDIR}/devicetree
   		for i in ${MACHINE_DEVICETREE}; do
  
positive.code: S = "${WORKDIR}"
  
  KERNEL_DTS_INCLUDE ??= ""
  KERNEL_DTS_INCLUDE_zynq = "arch/arm/boot/dts/skeleton.dtsi arch/arm/boot/dts/zynq-7000.dtsi"
  KERNEL_DTS_INCLUDE_zynqmp = "arch/arm/boot/dts/skeleton.dtsi arch/arm64/boot/dts/xilinx/zynqmp.dtsi"
  
  python () {
      # auto add dependency on kernel tree
  
negative.code: 
  	for DTS_FILE in ${DEVICETREE}; do
  		DTS_NAME=`basename -s .dts ${DTS_FILE}`
  		for d in ${KERNEL_DTS_INCLUDE}; do
  			dtc_include="${dtc_include} -i $d"
  		done
  		dtc -I dts -O dtb ${DEVICETREE_FLAGS} -i ${WORKDIR}/devicetree \
  			${dtc_include} -o ${DTS_NAME}.dtb ${DTS_FILE}
  	done
  }
  
  