Reza Alizadeh Majd f126f23b13 bootloader: Add device-tree-support? option. ... In some specific cases where the device tree file is already loaded in RAM, it can be preferable that the bootloader does not try to use a device tree from the Linux kernel tree. * gnu/bootloader.scm (<bootloader-configuration>)[device-tree-support?]: New field. * gnu/bootloader/extlinux.scm (extlinux-configuration-file): Add FDTDIR line based on <device-tree-support?> field of <bootloader-configuration>. * doc/guix.texi (Bootloader Configuration)[device-tree-support?]: Add documentation for the new field.		2022-08-30 08:50:44 +02:00
..
depthcharge.scm
extlinux.scm	bootloader: Add device-tree-support? option.	2022-08-30 08:50:44 +02:00
grub.scm	image: Add support for 32bit UEFI.	2022-06-24 10:21:06 +02:00
u-boot.scm