It appears that device isn't using the RISC-V module under discussion but an ARM version instead.
>I decided to install in my DevTerm the simplest module compatible with the popular RaspberryPi Linux distribution. It’s slower than the other “cores” but less power-hungry, and it’s very simple to install pre-compiled software and look up answers for any questions (as the RaspberryPi community is so huge). Yet this core still gives the user an ARM64-bit Quad-Core Cortex-A53 1.2 GHz CPU and 1 GB of RAM — more than enough to run simple writing apps.
>I decided to install in my DevTerm the simplest module compatible with the popular RaspberryPi Linux distribution. It’s slower than the other “cores” but less power-hungry, and it’s very simple to install pre-compiled software and look up answers for any questions (as the RaspberryPi community is so huge). Yet this core still gives the user an ARM64-bit Quad-Core Cortex-A53 1.2 GHz CPU and 1 GB of RAM — more than enough to run simple writing apps.