NetBSD RPi 4b Install/Boot Failure

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

I am using a SanDisk Extreme Pro 128GiB flash drive connected to the RPi 
4b USB-3 port.

I can use this with the RPi OS.

I tried downloading Generic 64-bit from 
http://nycdn.netbsd.org/pub/arm/, marked as for the Raspberry Pi. I 
unzipped the file to get the .img.



> ls -l NetBSD-10-aarch64--generic.img
-rw-rw-r-- 1 tomdean tomdean 1582301184 Apr 20 20:46 
NetBSD-10-aarch64--generic.img

> sudo dd if=NetBSD-10-aarch64--generic.img of=/dev/sda bs=1M conv=sync
1509+0 records in
1509+0 records out
1582301184 bytes (1.6 GB, 1.5 GiB) copied, 6.21875 s, 254 MB/s

> sudo mount /dev/sda1 /mnt
> ls /mnt
EFI               cmdline.txt  fixup.dat     fixup_cd.dat  start4.elf
LICENCE.broadcom  config.txt   fixup4.dat    netbsd.img    start4cd.elf
bootcode.bin      dtb          fixup4cd.dat  start.elf     start_cd.elf

> cat /mnt/cmdline.txt
root=NAME=netbsd-root console=fb

> cat /mnt/config.txt
#
upstream_kernel=1
#
arm_64bit=1
os_prefix=dtb/broadcom/
cmdline=../../cmdline.txt
kernel=/netbsd.img
kernel_address=0x200000
enable_uart=1
force_turbo=0

I connected a HDMI display and the SanDisk Extreme Pro flash drive (USB 
3) to the RPi 4b and applied power.

The led on the flash drive blinked for 3~4 seconds and stopped. The 
screen flashed and went blank. Nothing afterwards...

I booted the RPi 4b from a SD card, NetBSD 10 and connected the flash 
drive to a USB-3 port.

fsck says the drive is OK.

I mounted /dev/dk2 on /mnt There are some missing files on dk2 as 
compared to /boot.

pi-4b-1# ls -l /mnt
total 23142
drwxr-xr-x  1 root  wheel      1024 Mar 28 16:53 EFI
-rwxr-xr-x  1 root  wheel      1594 Mar 28 16:53 LICENCE.broadcom
-rwxr-xr-x  1 root  wheel     52476 Mar 28 16:53 bootcode.bin
-rwxr-xr-x  1 root  wheel        33 Mar 28 16:53 cmdline.txt
-rwxr-xr-x  1 root  wheel       155 Mar 28 16:53 config.txt
drwxr-xr-x  1 root  wheel      1024 Mar 28 16:53 dtb
-rwxr-xr-x  1 root  wheel      7269 Mar 28 16:53 fixup.dat
-rwxr-xr-x  1 root  wheel      5412 Mar 28 16:53 fixup4.dat
-rwxr-xr-x  1 root  wheel      3180 Mar 28 16:53 fixup4cd.dat
-rwxr-xr-x  1 root  wheel      3180 Mar 28 16:53 fixup_cd.dat
-rwxr-xr-x  1 root  wheel  16761568 Mar 28 16:53 netbsd.img
-rwxr-xr-x  1 root  wheel   2979264 Mar 28 16:53 start.elf
-rwxr-xr-x  1 root  wheel   2254944 Mar 28 16:53 start4.elf
-rwxr-xr-x  1 root  wheel    808060 Mar 28 16:53 start4cd.elf
-rwxr-xr-x  1 root  wheel    808060 Mar 28 16:53 start_cd.elf
rpi-4b-1# ls -l /boot
total 25293
drwxr-xr-x  1 root  wheel      1024 Apr  1 22:28 EFI
-rwxr-xr-x  1 root  wheel      1594 Apr  1 22:28 LICENCE.broadcom
-rwxr-xr-x  1 root  wheel   2031616 Jun  5  2023 RPI_EFI.fd
-rwxr-xr-x  1 root  wheel      5051 Jun  5  2023 Readme.md
-rwxr-xr-x  1 root  wheel     54388 Jun  5  2023 bcm2711-rpi-4-b.dtb
-rwxr-xr-x  1 root  wheel     54477 Jun  5  2023 bcm2711-rpi-400.dtb
-rwxr-xr-x  1 root  wheel     54997 Jun  5  2023 bcm2711-rpi-cm4.dtb
-rwxr-xr-x  1 root  wheel     52476 Apr  1 22:28 bootcode.bin
-rwxr-xr-x  1 root  wheel        33 Apr  1 22:28 cmdline.txt
-rwxr-xr-x  1 root  wheel       243 Jun  5  2023 config.txt
drwxr-xr-x  1 root  wheel      1024 Apr  1 22:28 dtb
drwxr-xr-x  1 root  wheel      1024 Apr 19 04:13 firmware
-rwxr-xr-x  1 root  wheel      7269 Apr  1 22:28 fixup.dat
-rwxr-xr-x  1 root  wheel      5397 Jun  5  2023 fixup4.dat
-rwxr-xr-x  1 root  wheel      3180 Apr  1 22:28 fixup4cd.dat
-rwxr-xr-x  1 root  wheel      3180 Apr  1 22:28 fixup_cd.dat
-rwxr-xr-x  1 root  wheel  16761568 Apr  1 22:28 netbsd.img
drwxr-xr-x  1 root  wheel      1024 Apr 19 04:13 overlays
-rwxr-xr-x  1 root  wheel   2979264 Apr  1 22:28 start.elf
-rwxr-xr-x  1 root  wheel   2253088 Jun  5  2023 start4.elf
-rwxr-xr-x  1 root  wheel    808060 Apr  1 22:28 start4cd.elf
-rwxr-xr-x  1 root  wheel    808060 Apr  1 22:28 start_cd.elf

Any ideas?

Tom Dean