Pine64 Ox64 is an affordable RISC-V SBC ($8) based on Bouffalo Lab BL808 SoC with 3 (Asymmetric) RISC-V Cores:

(1) D0 Multimedia Core: 64-bit T-Head C906 with MIPI CSI, Neural Processing Unit
(2) M0 Wireless Core: 32-bit T-Head E907 with WiFi, Bluetooth LE, Zigbee, Audio, USB, Ethernet
(3) Low Power Core: 32-bit T-Head E902

In this article we boot Linux on Ox64 BL808 (with OpenSBI and U-Boot Bootloader). And we explore how Apache NuttX RTOS might run on Ox64.

Check out the article:
Ox64 BL808 RISC-V SBC: Booting Linux and (maybe) Apache NuttX RTOS

Lup