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.