Allow separate SD card SPI bus

Author: sfe-SparkFro

red_vision_examples/rv_init/bus_spi.py

@@ -20,3 +20,14 @@
     # mosi = 3,
     # miso = 4,
 )
+
+# Some boards use the same SPI bus for both the display and the SD card, others
+# have separate buses. We'll create a separate `spi_sd` object for the SD card.
+import sys
+if "IoT RedBoard RP2350" in sys.implementation._machine:
+    spi_sd = SPI(
+        1,
+        baudrate = 24_000_000,
+    )
+else:
+    spi_sd = spi

red_vision_examples/rv_init/sd_card.py

@@ -14,8 +14,8 @@
 # Import the Pin class for the board's default pins.
 from machine import Pin
 
-# Import the SPI bus
-from .bus_spi import spi
+# Import the SPI bus.
+from .bus_spi import spi_sd as spi
 
 # When the SD card is initialized, it changes the SPI bus baudrate. We'll
 # want to revert it, so we need to know the original baudrate. There's no