Effectively the SDCard is connected to the SSTM2 in SPI mode, but the functionality is not implemented, due to missing memory.
On the other side, the EvoPrimer STM32C target board equipped with a STM32F107, manages the SDCard in SPI mode.
Take a look at the CircleOS sources, in the Open4_Circle_STM32C project.