Hi! I love the cardputer but I don't love the Xtensa proprietary ISA. I would love one based on one of the pure RISC-V esp32 chips like the ESP32-C6, or the ESP32-C5 or ESP32-P4 when they're available.