Does freebsd support wifi for rpi4b?

Sat Feb 15 02:24:46 UTC 2020

  OK, I see
https://wiki.freebsd.org/action/show/arm/Raspberry%20Pi?action=show&redirect=FreeBSD%2Farm%2FRaspberry+Pi

says "SDIO is implemented in r348805
<https://svnweb.freebsd.org/base?view=revision&revision=348805> and we
should tether brcmfmac43455-sdio.bin / brcmfmac43455-sdio.txt to get first
WIFI network for the RPI4"

  Does freebsd support wifi for rpi4b? If so, how to do with it?

Just like gentoo linux?
For Gentoo :
user $mkdir /lib/firmware/brcm
user $cd /root
user $git clone https://github.com/RPi-Distro/firmware-nonfree
user $cp /root/firmware-nonfree/brcm/* /lib/firmware/brcm

And then wifi will works. What's about freebsd?