How to use SPI for SD card control on BW16(RTL8720DN) based on Arduino?

I know that SDIO is not supported for BW16, but how should I use SPI for SD card operation? I try to #include <SPI.h>  and #include <SD.h> but it doesn’t work and looks like the SD.h is recognized from the core lib.
Is there existing lib could support this?
Hi @george
unfortunately, there is no library support for using a SD card with SPI for the BW16