(also posted on @selfhost)

RISC-V is a non-proprietary instruction set that is an alternative to ARM. I had thought that we were still waiting for a stable Linux distribution on RISC-V devices, but it turns out many RISC-V machines can run Debian already.

Does anyone have a RISC-V device that they use regularly? How has it been working?