Hacker News Reader

Yes, the same company sells arduino compatible RISC-V microcontroller boards that are not capable of running Linux.

What does "arduino compatible" mean in that context?

AFAIU it means that the I/O pins are compatible with Arduino shields.

Disclaimer: I have neither a HiFive1 or an Arduino myself.