Arduino pico spi example. It uses the bare Raspberry Pi Pico SDK and a custom GCC 14.