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.