Kernel and devicetrees
This section provides a concise guide on building the Linux kernel and devicetrees for different platforms on different hosts.
Jump to your platform and preferred method:
The ADI Linux repository can also be compiled using Petalinux to be used on Xilinx SoC FPGA based platforms.