[Pkg-raspi-maintainers] Bug#948712: raspi-firmware: Please add support for Raspebrry Pi4

[Christian Marillat]

On 29 juil. 2020 15:40, Lucas Nussbaum <lucas at debian.org> wrote:

> Version: 1.20200212-1
>
> Hi,
>
> raspi-firmware now supports RPI4. (I could not find the exact version
> where this was fixed, but at least it's fixed in the version above)

I'm not talking about files itself but how firmware are installed under
Debian.

With a rpi4 we don't need a /boot/firmware partition in vfat format as
rpi4 are able to boot from ext4.

Here is the original bug report :

,----
| >> Setting up raspi-firmware (1.20190925-1) ...
| >> Error: missing /boot/firmware, did you forget to mount it?
| >> dpkg: error processing package raspi-firmware (--configure):
| >>  installed raspi-firmware package post-installation script subprocess returned error exit status 1
| >> Errors were encountered while processing:
| >>  raspi-firmware
| >> E: Sub-process /usr/bin/dpkg returned an error code (1)
| >> 
| >> Also note that Pi4 is able to boot from an ext4 partition and don't need /boo/firmware.
`----

Christian