Todd Carson wrote: > >Thanks; I am also new to arm64 and I assumed that WiFi on the RPi4 >wasn't working yet since it's not listed on arm64.html. >I'd been using a run(4) on mine when I wanted wifi. > >Could arm64.html be updated?
Thank you for working on updating the INSTALL instructions. Great idea. For people (like me) who are really new to OpenBSD on ARM64 Raspberry Pi and may need more explicit details. I might suggest Instead of: "By default the boot ROM will only try to load the firmware off an SD card, but there are no manual steps needed to boot the operating system from a USB disk drive." I would suggest some more detail like: "By default the ROM will only load the EDK2 UEFI firmware off an SD card. OpenBSD-arm64 can be installed to a separate USB flash drive. With the UEFI on SD card, and OpenBSD installed on USB drive, the UEFI firmware can then proceed to boot the OpenBSD system from USB without any additional manual interaction necessary." (This is my setup and my understanding. I have the UEFI firmware 1.16 on a microSD card in the onboard slot on the bottom of the board. OpenBSD 6.7 arm64 is on a USB drive in one of the 4 USB slots. I think I saw that EDK2 firmware 1.17 might be able to be on USB not SD, but I have not tried that, and I am not sure I understand how to even try: Would you put the RPI_EFI.fd, fixup4.dat, start4.elf and so on into the same partition as the openbsd root, with /bsd, /bsd.rd, /bsd.mp and so on?)
