Re: RaspberryPi 4 UEFI firmware v1.41 weirdness

[Ramiro Aceves <ea1abz%gmail.com@localhost>]

El 13/3/25 a las 11:06, Ramiro Aceves escribió:
> Hi, this is even more weird as I have just read the post in the netbsd- 
> users list titled: "2025-03-12-netbsd-raspi-aarch64.img"  by Jun Ebihara 
> in which he says v1.41 just works with v1.41 and same 202503110400Z 
> current image.
>
> I am more puzzled now.
>
> :-)


In paranoid mode I have tested again with:

NetBSD-Current RPi aarch64 image:

https://nycdn.netbsd.org/pub/NetBSD-daily/HEAD/202503110400Z/evbarm- 
aarch64/binary/gzimg/arm64.img.gz

And last  UEFI firmware distribution from:

https://github.com/pftf/RPi4/releases/download/v1.41/ 
RPi4_UEFI_Firmware_v1.41.zip


I have deleted the SD card and doing the same. It does not work. The SD 
card looks like this in my NetBSD AMD64 computer:


[  2935.840392] dk7 at sd0: "EFI", 163840 blocks at 32768, type: msdos
[  2935.840392] dk8 at sd0: "netbsd-root", 3317760 blocks at 196608, 
type: ffs

netbsd-x260# mount /dev/dk7 disco_msdos/
netbsd-x260# cd disco_msdos/

netbsd-x260# ls -l
total 32717
drwxr-xr-x  1 root  wheel      1024 Mar 10 22:35 EFI
-rwxr-xr-x  1 root  wheel      1594 Mar 10 22:35 LICENCE.broadcom
-rwxr-xr-x  1 root  wheel   3997696 Feb 21 17:00 RPI_EFI.fd
-rwxr-xr-x  1 root  wheel   3416019 Mar 13 18:13 
RPi4_UEFI_Firmware_v1.41.zip
-rwxr-xr-x  1 root  wheel      4885 Feb 21 16:53 Readme.md
-rwxr-xr-x  1 root  wheel     54264 Feb 21 17:00 bcm2711-rpi-4-b.dtb
-rwxr-xr-x  1 root  wheel     54353 Feb 21 17:00 bcm2711-rpi-400.dtb
-rwxr-xr-x  1 root  wheel     54873 Feb 21 17:00 bcm2711-rpi-cm4.dtb
-rwxr-xr-x  1 root  wheel     52476 Mar 10 22:35 bootcode.bin
-rwxr-xr-x  1 root  wheel        33 Mar 10 22:35 cmdline.txt
-rwxr-xr-x  1 root  wheel       243 Feb 21 16:53 config.txt
drwxr-xr-x  1 root  wheel      1024 Mar 10 22:35 dtb
drwxr-xr-x  1 root  wheel      1024 Mar 13 18:30 firmware
-rwxr-xr-x  1 root  wheel      7269 Mar 10 22:35 fixup.dat
-rwxr-xr-x  1 root  wheel      5459 Feb 21 17:00 fixup4.dat
-rwxr-xr-x  1 root  wheel      3180 Mar 10 22:35 fixup4cd.dat
-rwxr-xr-x  1 root  wheel      3180 Mar 10 22:35 fixup_cd.dat
-rwxr-xr-x  1 root  wheel  18971876 Mar 10 22:35 netbsd.img
drwxr-xr-x  1 root  wheel      1024 Mar 13 18:30 overlays
-rwxr-xr-x  1 root  wheel   2979264 Mar 10 22:35 start.elf
-rwxr-xr-x  1 root  wheel   2263328 Feb 21 17:00 start4.elf
-rwxr-xr-x  1 root  wheel    808060 Mar 10 22:35 start4cd.elf
-rwxr-xr-x  1 root  wheel    808060 Mar 10 22:35 start_cd.elf
netbsd-x260#

Everything seems to be in place. I do not understand why it does not work.

Inspecting with fdisk just in case it gives information:


netbsd-x260# fdisk sd0
fdisk: Cannot determine the number of heads
Disk: /dev/rsd0
NetBSD disklabel disk geometry:
cylinders: 119276, heads: 64, sectors/track: 32 (2048 sectors/cylinder)
total sectors: 244277248, bytes/sector: 512

BIOS disk geometry:
cylinders: 1023, heads: 255, sectors/track: 63 (16065 sectors/cylinder)
total sectors: 244277248

Partitions aligned to 2048 sector boundaries, offset 63

Partition table:
0: Primary DOS with 32 bit FAT - LBA (sysid 12)
    start 32768, size 163840 (80 MB, Cyls 2/10/9-12/60/48), Active
1: <UNUSED>
2: <UNUSED>
3: GPT Protective MBR (sysid 238)
    start 1, size 32767 (16 MB, Cyls 0/0/2-2/10/8)
        PBR is not bootable: Bad magic number (0x0000)
First active partition: 0
Drive serial number: 0 (0x00000000)

Regards.
Ramiro.