> * A configuration option somewhere in raspi-firmware that disables
>   automatic generation and updating of config.txt and cmdline.txt and
>   copying of kernels and initramfs files.

On second thought, I think it might be a better approach to add
additional config options to /etc/default/raspi-firmware, so that the
config.txt file it generates works with u-boot. Adding a configuration
directory at /etc/default/raspi-firmware.d would also be nice so that
upstream distributions can set these settings without conflicting with
Debian.

> * An option for U-Boot that will check if the bootloader image in the
>   firmware partition is up-to-date and copy it if it is out of date.

This might not be necessary. flash-kernel already has code that does
this, and there are PRs that will add support for Raspberry Pi 4B (and
other) machines which will make things work here. [1]

[1] https://salsa.debian.org/installer-team/flash-kernel/-/merge_requests/71

--
Aaron

Attachment: pgpguryzvJhCd.pgp
Description: OpenPGP digital signature

Reply via email to