My understanding is that the most likely scenario for programming the PicoRV32 is putting the house keeping SPI into passthrough mode and then programming the firmware flash