I wasn't able to find a similar report so I'm putting this together.
I've been trying to install OBSD7.8 on a Raspberry PI 5 (8Gb) for a
while now without successfully booting the installer image.
I've tried booting from both micro-SD and USB storage, and used
different media and different imaging programs to make sure the boot
image is valid.
The media correctly boots the U-boot bootloader and interfaces fine
with the serial port (using the RPi debug probe).
U-boot successfully loads the OpenBSD bootloader and it sees the boot
media. An "ls" command shows the proper "bsd" and "bsd.rd" files in
the root of the partition 0 filesystem.
Unfortunately, the OpenBSD bootloader will not load either of those
image files. It fails with this error:
>> OpenBSD/arm64 BOOTAA64 1.22
boot>
cannot open sd0a:/etc/random.seed: No such file or directory
booting sd0a:/bsd: sd0a:/bsd: Inappropriate file type or format
failed(79). will try /bsd
boot>
cannot open sd0a:/etc/random.seed: No such file or directory
booting sd0a:/bsd: sd0a:/bsd: Inappropriate file type or format
failed(79). will try /bsd
Turning timeout off.
boot>
I've attached the full boot log from the serial port for your reference.
Checksums of the image files from the .IMG and .ISO match, so I don't
think my download from the distribution site is bad.
Any ideas other than trying another host such as an RPi4 and
rebuilding the distribution?
Thanks,
-Paul
1.12 RPi: BOOTSYS release VERSION:2226a853 DATE: 2025/12/08 TIME:
19:29:54
1.12 BOOTMODE: 0x06 partition 0 build-ts BUILD_TIMESTAMP=1765222194
serial 509d7a64 boardrev d04170 stc 1127904
1.13 AON_RESET: 00000003 PM_RSTS 00000020
1.14 POWER_OFF_ON_HALT: 0 WAIT_FOR_POWER_BUTTON 0 power-on-reset 0
1.15 RP1_BOOT chip ID: 0x20001927
1.15 PCIEx1: PWR 0 DET_WAKE 0
1.15 part 00000000 reset_info 00000000
1.15 PMIC reset-event 00000000 rtc 65f614ef alarm 00000000 enabled 0
1.16 uSD voltage 3.3V
1.28 Initialising SDRAM rank 2 total-size: 64 Gbit 4267 (0x14 0x00)
1.28 DDR 4267 1 0 64 152 BL:1
1.96 RP1 FW: load 0
1.97 RP1_BOOT chip ID: 0x20001927
3.12 RP1 FW: load 1
3.54 OTP boardrev d04170 bootrom a a
3.55 Customer key hash
0000000000000000000000000000000000000000000000000000000000000000
3.55 VC-JTAG unlocked
3.58 RP1_BOOT chip ID: 0x20001927
4.21 PCI2 init
4.21 PCI2 reset
4.26 PCIe scan 00001de4:00000001
4.26 RP1_CHIP_INFO 20001927
4.26 RPi: BOOTLOADER release VERSION:2226a853 DATE: 2025/12/08 TIME:
19:29:54
4.27 BOOTMODE: 0x06 partition 0 build-ts BUILD_TIMESTAMP=1765222194
serial 509d7a64 boardrev d04170 stc 4272213
4.28 PCIEx1: PWR 0 DET_WAKE 0
4.85 M.2 PCIe HAT not detected.
4.30 usb_pd_init status 3
4.30 USB_PD CONFIG 0 43
4.32 XHCI-STOP
4.32 xHC0 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d
4.32 USBSTS 1
4.34 xHC0 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d
4.34 xHC0 ports 3 slots 64 intrs 4
4.35 XHCI-STOP
4.35 xHC1 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d
4.36 USBSTS 1
4.36 xHC1 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d
4.36 xHC1 ports 3 slots 64 intrs 4
4.37 USB-PD: src-cap PDO object1 0x0881912c
4.37 Current 3000 mA
4.37 Voltage 5000 mV
4.38 USB-PD: src-cap PDO object2 0x0002d12c
4.38 Current 3000 mA
4.38 Voltage 9000 mV
4.39 USB-PD: src-cap PDO object3 0x0004b12c
4.39 Current 3000 mA
4.39 Voltage 15000 mV
4.39 USB-PD: src-cap PDO object4 0x0006412c
4.40 Current 3000 mA
4.40 Voltage 20000 mV
4.44 SD_OC: 0
4.46 Boot mode: SD (01) order f4
4.48 USB2[1] 000206e1 connected
4.01 USB2[1] 00200603 connected enabled
4.02 USB2 root HUB port 1 init
4.51 DEV [01:00] 1.16 000000:01 class 0 VID 1997 PID 2433
4.31 HID [01:00] 1.16 000000:01 register HID
4.36 xHC-CMD err: 13 type: 1 [01:00] 1.16 000000:01
4.53 EVT (32 1) 00 50 a3 3b 00 00 00 00 08 00 00 0d 01 80 03 01
4.54 CMD ( 1 21) 00 d0 f0 3b 00 00 00 00 08 00 00 00 21 04 00 00
4.55 SLOT IN
4.55 00 00 10 18 00 00 01 00
4.55 00 00 00 00 00 00 00 00
4.55 00 00 00 00 00 00 00 00
4.56 00 00 00 00 00 00 00 00
4.56 SLOT OUT
4.56 00 00 10 18 00 00 01 00
4.56 00 00 00 00 01 00 00 18
4.57 00 00 00 00 40 1f 00 00
4.57 00 00 00 00 00 00 00 00
4.57 EP0 CTX
4.57 01 00 00 00 26 00 40 00
4.58 21 91 a0 3b 00 00 00 00
4.58 08 00 00 00 00 00 00 00
4.58 00 00 00 02 b5 00 00 00
4.88 HID error 1
4.90 USB3[3] 00021203 connected enabled
4.94 USB3 root HUB port 3 init
4.59 XHCI-STOP
4.59 xHC0 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d
4.60 USBSTS 18
4.60 XHCI-STOP
4.60 xHC1 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d
4.61 USBSTS 18
4.65 SD HOST: 200000000 CTL0: 0x00800000 BUS: 400000 Hz actual:
390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276
4.66 SD HOST: 200000000 CTL0: 0x00800f00 BUS: 400000 Hz actual:
390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276
4.97 SD retry 1 oc 501
5.00 SD HOST: 200000000 CTL0: 0x00800000 BUS: 400000 Hz actual:
390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276
5.03 OCR c0ff8000 [30]
CID: 0027502453440000001103c82c2d00c6
CSD: 400e00325b5900001d877f800a400000
5.03 SD: bus-width: 4 spec: 2 SCR: 0x02358000 0x00000000
5.04 SD HOST: 200000000 CTL0: 0x00800f04 BUS: 50000000 Hz actual:
50000000 HZ div: 4 (2) status: 0x1fff0000 delay: 2
5.05 MBR: 0x00008000, 16384 type: 0x0c
5.05 MBR: 0x00000000, 0 type: 0x00
5.06 MBR: 0x00000000, 0 type: 0x00
5.06 MBR: 0x0000c000, 1241088 type: 0xa6
5.70 Trying partition: 0
5.72 type: 16 lba: 32768 'BSD 4.4' ' ^ ' clusters 16223 (1)
5.07 rsc 1 fat-sectors 64 root dir cluster 1 sectors 32 entries 512
5.08 FAT16 clusters 16223
5.09 [sdcard] autoboot.txt not found
5.09 Select partition rsts 0 C(boot_partition) 0 EEPROM config 0
result 1
5.97 Trying partition: 1
5.00 type: 16 lba: 32768 'BSD 4.4' ' ^ ' clusters 16223 (1)
5.10 rsc 1 fat-sectors 64 root dir cluster 1 sectors 32 entries 512
5.11 FAT16 clusters 16223
5.17 Read config.txt bytes 65 hnd 0x1632
5.12 [sdcard] pieeprom.upd not found
5.23 usb_max_current_enable default 0 max-current 3000
5.34 Read bcm2712-rpi-5-b.dtb bytes 78231 hnd 0x1963
5.13 dt-match: compatible: raspberrypi,5-model-b match: brcm,bcm2712
5.14 dt-match: compatible: brcm,bcm2712 match: brcm,bcm2712
5.53 Selecting USB low current limit
5.15 MESS:00:00:05.156319:0: *** Restart logging
5.59 Read /config.txt bytes 65 hnd 0x1632
5.16 MESS:00:00:05.163701:0: board: boardrev d04170 otp d04170
5.69 Read /config.txt bytes 65 hnd 0x1632
5.17 MESS:00:00:05.176291:0: Initial voltage 800000 temp 48271
5.37 MESS:00:00:05.376822:0: avs_2712: AVS pred 8806 880600 temp 48271
5.38 MESS:00:00:05.380429:0: vpred 880 mV +0
5.38 MESS:00:00:05.384634:0: over-voltage idle: 0 avs: 120600 delta:
0 (0x00000000)
5.39 MESS:00:00:05.396678:0: FB framebuffer_swap 1
5.41 MESS:00:00:05.416374:0: Select resolution HDMI0/2 hotplug 0
max_mode 2
5.42 MESS:00:00:05.420423:0: Select resolution HDMI1/2 hotplug 0
max_mode 2
5.42 MESS:00:00:05.427691:0: dtb_file 'bcm2712-rpi-5-b.dtb'
5.43 Loading 'bcm2712-rpi-5-b.dtb' to 0x00000000 offset 0x100
5.43 Read bcm2712-rpi-5-b.dtb bytes 78231 hnd 0x1963
5.46 [sdcard] /overlays/overlay_map.dtb not found
5.67 /overlays/overlay_map.dtb
5.49 PCIEx1: PWR 0 DET_WAKE 0
5.11 Read /config.txt bytes 65 hnd 0x1632
5.15 Read /overlays/disable-bt.dtbo bytes 1073 hnd 0x162d
5.53 MESS:00:00:05.531249:0: dterror: can't find symbol 'bt'
5.53 MESS:00:00:05.533987:0: dterror: Failed to resolve overlay
'disable-bt'
5.60 [sdcard] /cmdline.txt not found
5.04 /cmdline.txt
5.60 MESS:00:00:05.606736:0: Failed to open command line file
'cmdline.txt'
5.79 MESS:00:00:05.791398:0: RPM 210, max RPM 312
5.85 BMD "armstub8-2712.bin" not found
5.52 fs_open: 'armstub8-2712.bin'
5.85 Loading 'u-boot.bin' to 0x00000000 offset 0x200000
5.96 Read u-boot.bin bytes 697712 hnd 0x3412
5.89 MESS:00:00:05.898761:0: Kernel relocated to 0x80000
5.90 MESS:00:00:05.903633:0: Device tree loaded to 0x2efec700 (size
0x13868)
5.91 PCI1 reset
5.92 PCI2 reset
5.93 set_reboot_order 0
5.93 set_reboot_arg1 0
5.93 USB-OTG disconnect
5.97 MESS:00:00:05.975748:0: Starting OS 5975 ms
5.98 MESS:00:00:05.981268:0: 00000040: -> 00000480
5.98 MESS:00:00:05.983121:0: 00000030: -> 00100080
5.98 MESS:00:00:05.987834:0: 00000034: -> 00100080
5.99 MESS:00:00:05.992546:0: 00000038: -> 00100080
5.99 MESS:00:00:05.997260:0: 0000003c: -> 00100080
NOTICE: BL31: v2.6(release):v2.6-240-gfc45bc492
NOTICE: BL31: Built : 12:55:13, Dec 4 2024
U-Boot 2025.07 (Oct 06 2025 - 07:00:47 -0600)
DRAM: 1020 MiB (total 8 GiB)
RPI 5 Model B (0xd04170)
Core: 25 devices, 11 uclasses, devicetree: board
MMC: mmc@fff000: 0, mmc@1100000: 1
Loading Environment from FAT... Unable to read "uboot.env" from mmc0:1...
In: serial,usbkbd
Out: serial,vidconsole
Err: serial,vidconsole
Net: No ethernet found.
starting USB...
No USB controllers found
scanning usb for storage devices... 0 Storage Device(s) found
Hit any key to stop autoboot: 0
Cannot persist EFI variables without system partition
** Booting bootflow '<NULL>' with efi_mgr
Booting: Label: mmc 0 Device path:
/VenHw(e61d73b9-a384-4acc-aeab-82e828f3628b,0000000000000000)/VenHw(e61d73b9-a384-4acc-aeab-82e828f3628b,6d00000001000000)/SD(0)/SD(0)
disks: sd0*
>> OpenBSD/arm64 BOOTAA64 1.22
boot>
cannot open sd0a:/etc/random.seed: No such file or directory
booting sd0a:/bsd: sd0a:/bsd: Inappropriate file type or format
failed(79). will try /bsd
boot>
cannot open sd0a:/etc/random.seed: No such file or directory
booting sd0a:/bsd: sd0a:/bsd: Inappropriate file type or format
failed(79). will try /bsd
Turning timeout off.
boot> ls
drwxr-xr-x 0,0 512 .
drwxr-xr-x 0,0 512 ..
drwxr-xr-x 0,0 512 7.8
-rw-r--r-- 0,2000 18465885 bsd.rd
-rw-r--r-- 0,2000 18465885 bsd
boot>
