Just posting this here incase anyone else discovers this issue:
I was trying to use the SPICE connector to connect ad SD card for MSC use, and it would not work using the normal GPIO numbers.
I’m using the new Pico VSCode extension, with the Pico Plus 2 board setting, so probably something to do with that. Latest SDK (2.0.0) and written in C/C++
Fixed it by looking at the board defines, and if I used the following defines, it works fine.
SPI: just use “spi0” as the define for this isn’t compatible with the SDK
SPI MISO(RX): “SPICE_TX_MISO_PIN”
SPI CS: “SPICE_RX_CS_PIN”
SPI SCK: “SPICE_NETLIGHT_SCK_PIN”
SPI MOSI: “SPICE_RESET_MOSO_PIN”
Bit weird, but it now works.