Efinix low-power Topaz RISC-V SoC+FPGA, high-volume mass-market use
cnx-software.com
cnx-software.com
Only tangentially related curiosity: 32-bit RISC-V Linux (as well as the BSDs) use 64bit time. No abi/migration issues as it's been this way from the start.