How is their RISC-V adventure going? The RP2350 included a couple of open-source Hazard3 cores. Does the RPi Foundation collect any feedback about how these are being used, and if there's any interest in developing a RV-only SoC/SBC? Would that help them save some costs- or is it just cheaper to keep their existing ARM agreement rather than spending the resources to maintain RV to their preferred level of support?