SDIO is used in raspberry pi. Rpi WiFi network needs SDIO drivers. But WIKI that about SDIO is not update for a long time. https://wiki.freebsd.org/SDIO So what's status of SDIO development? And maybe WIFI works well in raspberry pi?