In the attached, I adapted one of the existing FreeRTOS-Plus-FAT media drivers to work with a custom EFM32 Wonder Gecko board (w/1 SD card slot) and the EFM32 library distribution's microsd and low-level FatFs diskio drivers.
efm32-frpFAT-media-driver.zip