If you're doing OS work and not FPGA work, could you save money by using the same CPU core and (I think) SoC in other FE310 products like:
https://www.sparkfun.com/products/15594 or hte eUSB-C version
https://www.amazon.com/SparkFun-Plus-SiFive-development-architecture-microcontroller/dp/B081YKZMH4If you wanted to get the cost down even more and were willing to touch up base drivers and boot, but still stay with units with VM, you can find boards about half the price again, there are a few D1 boards that offer supervisor/machine/user mode.
Sipeed
Lichee RV is like $16USD with a $5-$10 dock.Some models have screens on front or back. Big brother RV-86 has about a 3" screen.
MangoPi Pro may be shipping. It's hard to tell with them.
K210 is older (about the same era as the Fe310) and it's "only" 8MB, not 64-512 like the two above, but there are a
bunch of
designs with them.
These all cable to a laptop and are very portable, just like in your picture.
I get that cost may not be your primary factor, but if your students aren't going on to do FPGA programming, there are newer and less expensive options out there. (And more to come soon...) Actually, from what I see in the code, *mmu.c is about the only code stopping this from running on about any $5 RISC-V microcontroller if your students want to go "off the ranch" and port Earth to a $8 ESP32-C3 Stack, Bouffalo EVB1, or Sipeed
Longnan Nano. Might be fun side projects. (Since it seems to be running identity mapped, *mmu.c isn't really doing any VM action to speak of anyway, is it?)
Thanks for sharing your project. It looks very cool. No PDP7 required. :-)
RJL