pg 724: “Unfortunately, ST engineers have not still developed a driver for SD cards when working in SPI mode. … However, I have arranged a complete SPI-compliant SD driver that I will introduce you later.”

The FatFS driver mentioned here does not exist in the book, and is not in any of the example code (https://github.com/cnoviello/mastering-stm32) either. Is it somewhere else?