raspberrypi: support sdioio

[jepler]

There is appropriately-licenesed code in pico-extras to support SD cards in SDIO mode. Adapt this code for CircuitPython.

[DatanoiseTV]

I recommend to look at the repo I have referenced. The SDIO is much faster than the one in pico-extra.

[dhalbert]

From #9702 (dupe):

@DatanoiseTV

As part of work on the PicoADK V2 and initial CircuitPython support, I was wondering if SDIO support is coming?

This works really well earlephilhower/arduino-pico#1560 (comment)

[DatanoiseTV]

From #9702 (dupe):

@DatanoiseTV

As part of work on the PicoADK V2 and initial CircuitPython support, I was wondering if SDIO support is coming?

This works really well earlephilhower/arduino-pico#1560 (comment)

Would be great to see support for this in 9.2.

[jepler]

Adafruit has categorized this enhancement as "long term", meaning that Adafruit folks are not likely to be working on it in the near future. We would welcome community members picking up the work, of course.

[DatanoiseTV]

We are soon releasing the PicoADK v2 https://circuitpython.org/board/datanoise_picoadk_v2/ with an SD attached via SDIO (with UHS support). Would be great to also have support for it in CircuitPython. The main SDK so far is Arduino and a bare C.