I installed OpenBSD 7.6 on Raspberry Pi 4B. System was installed from USB stick onto 128GB SD card using default answers.
The problem is that I cannot boot it from SD card. I can boot system from USB stick and load kernel from SD card, but that requires USB drive being plugged in during boot, which is a bit inconvenient. Here is serial console dump: 2.08 RPi: BOOTLOADER release VERSION:75c1e570 DATE: 2025/02/11 TIME: 17:00:13 2.13 BOOTMODE: 0x06 partition 0 build-ts BUILD_TIMESTAMP=1739293213 serial 28b01bf3 boardrev d03115 stc 2613184 2.48 PCI0 init 2.48 PCI0 reset 2.23 PCIe scan 00001106:00003483 2.28 XHCI-STOP 2.28 xHC0 ver: 256 HCS: 05000420 fc000031 00e70004 HCC: 002841eb 2.32 USBSTS 11 2.35 xHC0 ver: 256 HCS: 05000420 fc000031 00e70004 HCC: 002841eb 2.40 xHC0 ports 5 slots 32 intrs 4 2.49 Boot mode: USB-MSD (04) order f21 2.50 USB2[1] 400202e1 connected 2.68 USB2 root HUB port 1 init 2.70 DEV [01:00] 2.16 000000:01 class 9 VID 2109 PID 3431 2.73 HUB init [01:00] 2.16 000000:01 3.68 XHCI-STOP 3.68 xHC0 ver: 256 HCS: 05000420 fc000031 00e70004 HCC: 002841eb 3.73 USBSTS 18 3.81 XHCI-STOP 3.81 xHC0 ver: 256 HCS: 05000420 fc000031 00e70004 HCC: 002841eb 3.85 USBSTS 19 3.88 xHC0 ver: 256 HCS: 05000420 fc000031 00e70004 HCC: 002841eb 3.93 xHC0 ports 5 slots 32 intrs 4 3.02 USB2[1] 400202e1 connected 3.17 USB2 root HUB port 1 init 3.19 DEV [01:00] 2.16 000000:01 class 9 VID 2109 PID 3431 3.23 HUB init [01:00] 2.16 000000:01 28.18 USB MSD stopped. Timeout: 25 seconds 28.19 Boot mode: SD (01) order f2 28.36 SD HOST: 200000000 CTL0: 0x00800000 BUS: 400000 Hz actual: 390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276 28.47 SD HOST: 200000000 CTL0: 0x00800f00 BUS: 400000 Hz actual: 390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276 29.36 OCR c0ff8000 [197] CID: 00035344534331323880f10abbe30123 CSD: 400e00325b590003b8ab7f800a404000 29.46 SD: bus-width: 4 spec: 2 SCR: 0x02458043 0x00000000 29.53 SD HOST: 200000000 CTL0: 0x00800f04 BUS: 50000000 Hz actual: 50000000 HZ div: 4 (2) status: 0x1fff0000 delay: 2 29.66 MBR: 0x00000001,4294967295 type: 0xee 29.67 MBR: 0x00000000, 0 type: 0x00 29.71 MBR: 0x00000000, 0 type: 0x00 29.75 MBR: 0x00000000, 0 type: 0x00 29.78 Trying partition: 0 29.09 GPT 013e78667d2e6f41b7a552a98a380e67 000000001 00ee2afff num-partitions 128 entry-size 128 pentry 2 first 0 29.16 GPT partition: 0 c12a7328-f81f-11d2-ba4b-00a0c93ec93b 000000040..00000803f 29.23 Matched GUID bootable-part-idx 0 want partition 0 29.30 type: 16 lba: 64 'BSD 4.4' ' ^ ' clusters 8167 (4) 29.34 rsc 1 fat-sectors 32 root dir cluster 1 sectors 32 entries 512 29.43 FAT16 clusters 8167 29.45 [sdcard] autoboot.txt not found 29.46 Select partition rsts 0 C(boot_partition) 0 EEPROM config 0 result 1 29.53 Trying partition: 1 29.58 GPT 013e78667d2e6f41b7a552a98a380e67 000000001 00ee2afff num-partitions 128 entry-size 128 pentry 2 first 0 29.68 GPT partition: 0 c12a7328-f81f-11d2-ba4b-00a0c93ec93b 000000040..00000803f 29.73 Matched GUID bootable-part-idx 0 want partition 0 29.80 type: 16 lba: 64 'BSD 4.4' ' ^ ' clusters 8167 (4) 29.84 rsc 1 fat-sectors 32 root dir cluster 1 sectors 32 entries 512 29.92 FAT16 clusters 8167 29.94 Read config.txt bytes 65 hnd 0x17aa 29.97 [sdcard] pieeprom.upd not found 29.00 [sdcard] recover4.elf not found 29.04 [sdcard] recovery.elf not found 29.60 Read start4.elf bytes 2229120 hnd 0x683 29.63 Read fixup4.dat bytes 5448 hnd 0x1058 29.66 0x00d03115 0x00000000 0x000000ff 29.69 MEM GPU: 76 ARM: 948 TOTAL: 1024 29.73 Firmware: 7d9a298cda813f747b51fe17e1e417e7bf5ca94d May 27 2021 14:02:15 29.06 Starting start4.elf @ 0xfec00200 partition 1 29.44 XHCI-STOP 29.44 xHC0 ver: 256 HCS: 05000420 fc000031 00e70004 HCC: 002841eb 29.49 USBSTS 18 29.52 PCI0 reset 29.42 + (system hangs here, 7 short flashes of green LED indicates it failed to load kernel). I'd be grateful for any advise how to boot from SD card. Best regards, Chris Narkiewicz