GitHub repository: lupyuen/incubator-nuttx
Primary language: C
Description: Apache NuttX OS as featured in "The RISC-V BL602 Book"