aboutsummaryrefslogtreecommitdiff


 
                         
generated by
                             
                                 cgit
                             
                         

                        
 


'/guix/log/gnu?id=9c52f8b8678b4d17655b8ca29f2748203f498d6f&showmsg=1'>gnu/bootloader/extlinux.scm
AgeCommit message (Collapse)Author


2022-08-30bootloader: Add device-tree-support? option.Reza Alizadeh Majd



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.