mirror of
https://github.com/archr-linux/Arch-R.git
synced 2026-03-31 14:41:55 -07:00
When there is a need to build the kernel with appended device tree for compatibility with older bootloaders, $KERNEL_UBOOT_EXTRA_TARGET, which usually is a list of device tree source files, needs to be built before the kernel, making device tree binaries available for appending to the kernel image.