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’s branch ci can also be compiled using Petalinux to be used on Xilinx SoC FPGA based platforms.