RP2040 based board trying to host SD card over SPI

[Olsen463]

https://github.com/rp-rs/rp-hal-boards/blob/main/boards/rp-pico/examples/pico_spi_sd_card.rs

when trying to use example code. The SDCard struct from embedded-sdmmc requires an embedded-hal::spi::SpiDevice however you are giving it a rp2040::Spi<,,_,8>

[9names]

I'm not sure I understand what you're saying.
That example is using embedded-sdmmc 0.5.0, and the arguments used in the example matches what is required for that version of embedded-sdmmc.