@lienrag They usually run some vendor customized Linux distribution. Debian Trixie has RISC-V support by default since recently. Unfortunately I hadn't time yet to play around with it.

The laptops are both too slow for daily work, besides writing text or code. For the SBCs it of course depends on what you're trying to achieve. RISC-V devices for general purpose still tend to be slower to much slower than current Intel/AMD/ARM chips and SBCs.

Edit: They most probably all run Doom.