On 30 juil. 2020 12:36, Lucas Nussbaum <lu...@debian.org> wrote:

[...]

> OK, I'm retitling the bug to clarify that it's not about RPI4 support
> per se, but rather not using /boot/firmware, since the RPI4 can boot
> from ext4.

Thanks.

Christian

Reply via email to