Does openbsd support raspberry 3b+/4B?

Hi! I have used freebsd in raspberry pi 3b plus. No useful wifi because of freebsd has no sdio support. Does openbsd support raspberry 3b+? And will openbsd support raspberry 4b? Thanks. ykla

All information on the OpenBSD arm64 page contains a spelling error

hi, https://www.openbsd.org/arm64.html page contains a spelling error： - Apple MacBoot Air (15-inch, M2, 2023) - The term 'MacBoot' is a misspelling; it should be 'MacBook'. Thanks.