Thanks. I can see the device now.

I am trying run the c version of the SPI sample program on the Pico Pro Max. The device path in the program uses /dev/spidev0.0. I have tried both the buildroot and ubuntu SD card versions and neither shows this device in /dev. The spi device is present in /sys/bus/spi/devices as spi2.0. I looked at...