With the diffs I just posted to tech@, OpenBSD can boot successfully on the Raspberry Pi4 if you use the EDK2-based UEFI firmware that is availble now. In principle you can build it yourself from source, but pre-built versions can be found at:
https://github.com/pftf/RPi4 Pretty much the only thing that actually works is xhci(4), but all four USB Type-A ports work (2x USB3.0 and 2x USB2.0). Some gymnastics are required to actually boot the system. The best approach is probably to have a uSD card with just the firmware on it, and a USB disk/stick with minirootXX.fs on it. Of course this won't work until my diffs are committed ;). OpenBSD 6.7-beta (GENERIC) #2: Fri Apr 10 16:25:09 CEST 2020 kette...@liszt.sibelius.xs4all.nl:/usr/src/sys/arch/arm64/compile/GENERIC real mem = 1993285632 (1900MB) avail mem = 1902022656 (1813MB) mainbus0 at root: ACPI cpu0 at mainbus0 mpidr 0: ARM Cortex-A72 r0p3 cpu0: 48KB 64b/line 3-way L1 PIPT I-cache, 32KB 64b/line 2-way L1 D-cache cpu0: 1024KB 64b/line 16-way L2 cache efi0 at mainbus0: UEFI 2.7 efi0: https://github.com/pftf/RPi4 rev 0x10000 smbios0 at efi0: SMBIOS 3.3.0 smbios0: vendor https://github.com/pftf/RPi4 version "UEFI Firmware v1.7" date Mar 26 2020 22:00:52 smbios0: Sony UK Raspberry Pi 4 Model B apm0 at mainbus0 psci0 at mainbus0: PSCI 1.1, SMCCC 1.2 ampintc0 at mainbus0 nirq 256, ncpu 4: "interrupt-controller" agtimer0 at mainbus0: tick rate 54000 KHz acpi0 at mainbus0: ACPI 5.1 acpi0: sleep states acpi0: tables DSDT FACP CSRT DBG2 GTDT APIC PPTT SPCR acpi0: wakeup devices "BCM2849" at acpi0 not configured "BCM2835" at acpi0 not configured "BCM2854" at acpi0 not configured "ACPI0004" at acpi0 not configured xhci0 at acpi0 XHC0 addr 0x600000000/0x1000 irq 175, xHCI 1.0 usb0 at xhci0: USB revision 3.0 uhub0 at usb0 configuration 1 interface 0 "Generic xHCI root hub" rev 3.00/1.00 addr 1 "ACPI0007" at acpi0 not configured "ACPI0007" at acpi0 not configured "ACPI0007" at acpi0 not configured "ACPI0007" at acpi0 not configured "ACPI0004" at acpi0 not configured "BCM2848" at acpi0 not configured "BCM2850" at acpi0 not configured "BCM2856" at acpi0 not configured "BCM2845" at acpi0 not configured "BCM2841" at acpi0 not configured "BCM2841" at acpi0 not configured "BCM2838" at acpi0 not configured "BCM2839" at acpi0 not configured "BCM2844" at acpi0 not configured pluart0 at acpi0 URT0 addr 0xfe201000/0x1000 irq 153: console "BCM2836" at acpi0 not configured "BCM2EA6" at acpi0 not configured "MSFT8000" at acpi0 not configured "BCM2847" at acpi0 not configured "BCM2855" at acpi0 not configured "BCM6E4E" at acpi0 not configured uhub1 at uhub0 port 1 configuration 1 interface 0 "VIA Labs USB2.0 Hub" rev 2.10/4.20 addr 2 cdce0 at uhub1 port 2 configuration 2 interface 0 "TP-LINK USB 10/100/1000 LAN" rev 2.10/30.00 addr 3 cdce0: address f4:f2:6d:18:1a:e2 umass0 at uhub0 port 2 configuration 1 interface 0 "SanDisk Ultra Fit" rev 3.00/1.00 addr 4 umass0: using SCSI over Bulk-Only scsibus0 at umass0: 2 targets, initiator 0 sd0 at scsibus0 targ 1 lun 0: <SanDisk, Ultra Fit, 1.00> removable serial.07815583310719122025 sd0: 14664MB, 512 bytes/sector, 30031872 sectors vscsi0 at root scsibus1 at vscsi0: 256 targets softraid0 at root scsibus2 at softraid0: 256 targets bootfile: sd0a:/bsd boot device: sd0 root device (default sd0a): swap device (default sd0b): root on sd0a swap on sd0b dump on sd0b
