Stm32 sd card spi example. py or the REPL with import mount_sd.