Re: RaspberryPi 4 GPIO

[Greg Troxel <gdt%lexort.com@localhost>]

satch <netbsd-lists%protonmail.com@localhost> writes:

> On Monday, 23 December 2024 at 11:37, Greg Troxel <gdt%lexort.com@localhost> wrote:
>> 
>> Mine shows
>> ...
>> 
>> Did you install the "UEFI firmware", or not?
>
> That is encouraging about yours.
>
> With regard to "UEFI firmware" I went to 
> https://github.com/pftf/RPi4/releases and unzipped a file called 
> RPi4_UEFI_Firmware_v1.38.zip in the /boot partition.
>
> That has 4 files like firmware/brcm/brcmfmac43455-sdio*

There are two paths to booting RPI4.  They are different and AIUI have
different methods of configuring devices.  I believe there are various
wrinkles with one or the other, and it's all fixable.