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

[Christian Marillat]

Package: raspi-firmware
Version: 1.20190925-1
Severity: normal

Dear Maintainer,

I'm still unable to use a Debian kernel for my Rasebrry Pi 4 as this package
doesn't have support for Pi4 :

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.

(Bug report done from an Intel machine)

Christian

-- System Information:
Debian Release: bullseye/sid
  APT prefers buildd-unstable
  APT policy: (500, 'buildd-unstable'), (500, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.19.93 (SMP w/8 CPU cores)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_WARN, TAINT_OOT_MODULE
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)