diff options
| author | Reza Alizadeh Majd <r.majd@pantherx.org> | 2022-08-28 12:34:46 +0430 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2022-08-30 08:50:44 +0200 |
| commit | f126f23b132148192b2c9a89032a5831af0b3c52 (patch) | |
| tree | 0d2095dcc46fe7d6b436d9137125007c4b2eb7c8 /gnu/ci.scm | |
| parent | e214e87cc5e0bd0d3325aab1c9086354f6570e9c (diff) | |
| download | guix-f126f23b132148192b2c9a89032a5831af0b3c52.tar guix-f126f23b132148192b2c9a89032a5831af0b3c52.tar.gz | |
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.
Diffstat (limited to 'gnu/ci.scm')
0 files changed, 0 insertions, 0 deletions