Just made a dumb attempt to boot OpenBSD 7.4 on a Raspberry Pi 5, and thought I may share if anyone was wondering.
Maybe with newer u-boot? I'm not even sure what's the state of u-boot support for RPi5 at the moment. Added os_check=0 to config.txt and made a copy of *.dtb from Raspberry Pi 5 OS Linux image to sdXi. Regards, -- Krystian @ RPi: BOOTSYS release VERSION:30de0ba5 DATE: 2023/10/30 TIME: 16:45:10 BOOTMODE: 0x06 partition 0 build-ts BUILD_TIMESTAMP=1698684310 serial 7d425a48 boardrev d04170 stc 809951 AON_RESET: 00000003 PM_RSTS 00001000 RP1_BOOT chip ID: 0x20001927 PM_RSTS: 0x00001000 part 00000000 reset_info 00000000 PMIC reset-event 00000000 rtc 00000000 alarm 00000000 enabled 0 uSD voltage 3.3V Initialising SDRAM 'Micron' 32Gb x2 total-size: 64 Gbit 4267 DDR 4267 1 0 64 152 RP1_BOOT chip ID: 0x20001927 RP1_BOOT chip ID: 0x20001927 RP1_BOOT: fw size 25968 PCI2 init PCI2 reset PCIe scan 00001de4:00000001 RP1_CHIP_INFO 20001927 RPi: BOOTLOADER release VERSION:30de0ba5 DATE: 2023/10/30 TIME: 16:45:10 BOOTMODE: 0x06 partition 0 build-ts BUILD_TIMESTAMP=1698684310 serial 7d425a48 boardrev d04170 stc 3849621 AON_RESET: 00000003 PM_RSTS 00001000 usb_pd_init status 3 USB_PD CONFIG 0 41 Boot mode: SD (01) order f4 SD HOST: 200000000 CTL0: 0x00800000 BUS: 400000 Hz actual: 390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276 SD HOST: 200000000 CTL0: 0x00800f00 BUS: 400000 Hz actual: 390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276 OCR c0ff8000 [118] CID: 0002544d53413332477549c1bc4e0178 CSD: 400e00325b590000e8c77f800a400000 SD: bus-width: 4 spec: 2 SCR: 0x02058083 0x01000000 SD HOST: 200000000 CTL0: 0x00800f04 BUS: 50000000 Hz actual: 50000000 HZ div: 4 (2) status: 0x1fff0000 delay: 2 MBR: 0x00008000, 16384 type: 0x0c MBR: 0x00000000, 0 type: 0x00 MBR: 0x00000000, 0 type: 0x00 MBR: 0x0000c000, 38912 type: 0xa6 USB-PD: src-cap PDO object1 0x0a0191f4 Current 5000 mA Voltage 5000 mV USB-PD: src-cap PDO object2 0x0002d12c Current 3000 mA Voltage 9000 mV USB-PD: src-cap PDO object3 0x0003c0e1 Current 2250 mA Voltage 12000 mV USB-PD: src-cap PDO object4 0x0004b0b4 Current 1800 mA Voltage 15000 mV Trying partition: 0 type: 16 lba: 32768 'BSD 4.4' ' ^ ' clusters 16223 (1) rsc 1 fat-sectors 64 root dir cluster 1 sectors 32 entries 512 FAT16 clusters 16223 [sdcard] autoboot.txt not found Trying partition: 0 type: 16 lba: 32768 'BSD 4.4' ' ^ ' clusters 16223 (1) rsc 1 fat-sectors 64 root dir cluster 1 sectors 32 entries 512 FAT16 clusters 16223 Read config.txt bytes 65 hnd 0x34ba [sdcard] pieeprom.upd not found usb_max_current_enable default 0 max-current 5000 Read bcm2712-rpi-5-b.dtb bytes 75197 hnd 0x3371 dt-match: compatible: raspberrypi,5-model-b match: brcm,bcm2712 dt-match: compatible: brcm,bcm2712 match: brcm,bcm2712 NOTICE: BL31: v2.6(release):v2.6-239-g2a9ede0bd NOTICE: BL31: Built : 14:26:57, Jun 22 2023 U-Boot 2021.10 (Sep 08 2023 - 11:13:24 -0600) DRAM: mbox: Timeout waiting for response bcm2835: Could not query ARM memory size initcall sequence 00000000000e26f8 failed at call 0000000000084004 (err=-1) ### ERROR ### Please RESET the board ###
