http://r53zi7kxyqd72fuvhztzi25fo2bze7fqjefze7k6t6kiq74pzaq5suyd.onion/posts/2025/openbsd.html
As for the Wi-Fi card, there still isn't a driver for it. But I always used an external adapter. Unfortunately, the one I had is broken, so my only option is using RNDIS (the "USB tethering" option) from a phone.