VERY COOL!! :-) I have VisionFive2 SBC to play with.. would be nice to run NuttX on it :-)
I made run Linux (available images) and FreeBSD (no drivers yet on BSD only kernel + apps over uart) on it already :-) -- CeDeROM, SQ7MHZ, http://www.tomek.cedro.info