Subject: Re: bug#57070: [PATCH] bootloader: extlinux: support for optional FDTDIR
From: Mathieu Othacehe <[email-masked]>
To: Reza Alizadeh Majd <[email-masked]>
Cc: [email-masked]
Date: Tue, 30 Aug 2022 08:53:28 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Reza,

> * 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.

I pushed this patch with a few modifications.

Thanks,

Mathieu