FreeRTOS + WiFi via SDIO

Hello. Does anybody know how to connect WiFi module (Taiyo Yuden WYSBCVXGA built on Marvell 88W8787) interfaced by SDIO to FreeRTOS? I’ve seen similar questions but they were all rather old.
Anybody knows about the driver? I’ve found the Linux driver, but I’m afraid it might take too much time (which I don’t have) to port it.