Today we have a barebones port of NuttX to Sophgo SG2000 RISC-V SoC. But many drivers are missing: GPIO, WiFi, Ethernet, MIPI CSI / DSI, ... https://lupyuen.github.io/articles/sg2000
Pine64 has offered to sponsor some Oz64 SG2000 SBCs for porting these drivers: https://pine64.org/documentation/Oz64/ Interested? Please drop me a note. Thanks! Lup