Subject: [bug#57070] [PATCH] bootloader: extlinux: support for optional FDTDIR

From: Mathieu Othacehe <[email-masked]>
Date: Mon, 15 Aug 2022 11:27:19 +0200

Hello,

> * gnu/bootloader.scm (<bootloader>)[ignore-fdtdir?]: new field.

The bootloader record is supposed to be bootloader agnostic. This fdtdir
naming thing seems to be extlinux specific.

Should we maybe rename this field "device-tree-support?"

Thanks,

Mathieu