[Pkg-raspi-maintainers] Bug#948712: Bug#948712: Pinebook Pro also uses this chip

[Karl O. Pinc]

Hi,

In the FWIW catagory, I'm following this thread beacuse
installed Debian (11) on an RPI4B using the Debian installer.
Following the instructions:

https://wiki.debian.org/RaspberryPi4?action=show&redirect=InstallingDebianOn%2FRaspberryPi%2FRaspberry+Pi+4#Using_EFI_Firmware_and_the_regular_Debian_Installer

and following the link to:

https://forums.raspberrypi.com/viewtopic.php?t=282839


What I found, I think, was that /boot/firmware does not then exist on
the resulting system.  I _believe_ I solved the issue by creating a
symlink.  (Maybe to /boot/UEFI/firmware/ ??)

All this was some time ago and I will have to (eventually)
go back and look at my notes and report back.  (I'd put off
reporting anything until I'd figured out something that worked.
By then I'd forgotten about this thread and was just reminded
by the recent emails.)

I'm not even 100% certain that the rpi firmware package
is relevant.  But I think so, to get wireless working.

Here's hoping that this is useful feedback and not noise.

Regards,

Karl <kop at karlpinc.com>
Free Software:  "You don't pay back, you pay forward."
                 -- Robert A. Heinlein