In case you missed it, there's a new RISC-V chip with BLE+WIFI support, clearly competing with ESP8266/ESP32. The documentation and code is just starting to appear and the company has given a good first step by asking users about comments. You can find the issue here: https://github.com/bouffalolab/bl_iot_sdk/issues/1 Note NuttX being mentioned (most likely due to Brennan's offer to add support if Sipeeed can donate boards).
Best, Matias
