How to Build a Linux Image for Zynq Using the Device Tree

Learn how to acquire the Xilinx Linux kernel source, configure it, build both the kernel and device tree, and finally run the new kernel on a ZC702 board.