Re: RPi 4b Wifi Device

["Thomas D. Dean" <tomdean%wavecable.com@localhost>]

On 4/19/24 09:40, Michael van Elst wrote:
> Reason is that the platform is canonically named "raspberrypi,4-model-b"
> but UEFI chose "Raspberry Pi 4 Model B" instead.

> pwd
/home/tomdean/NetBSD
> ls -l
total 2154
-rw-rw-r-- 1 tomdean tomdean  272510976 Apr 18 09:40 
NetBSD-10.0-evbarm-aarch64.iso
drwxrwxr-x 4 tomdean tomdean       4096 Apr 18 21:12 RPi4-1.35
drwxrwxr-x 7 tomdean tomdean       4096 Apr 10 23:27 RPi4-1.37
-rw-rw-r-- 1 tomdean tomdean     433670 Apr 18 16:52 RPi4-1.37.zip
-rw-rw-r-- 1 tomdean tomdean    3144359 Apr 18 21:01 
RPi4_UEFI_Firmware_v1.35.zip
-rw-rw-r-- 1 tomdean tomdean 1582301184 Apr  3 15:02 arm64.img
-rw-rw-r-- 1 tomdean tomdean  399419622 Apr 18 09:50 arm64.img.gz

> grep -Rail "raspberrypi\\,4\-model-b" *
RPi4-1.35/bcm2711-rpi-4-b.dtb
arm64.img

> grep -Rail "Raspberry\ Pi\ 4\  Model\  B" *
< nothing found>

I could not get NetBSD 10 to boot with the 1.37 files. With the 1.35 
files, it booted and seems to work, other than WIFI.

I created a link to "Raspberry Pi 4  Model  B" and the error went away.

How do I setup wpa_supplicant?

Tom Dean