|Harvey OS meets RISC-V|
|By Thom Holwerda, submitted by elbing on 2017-01-02 23:53:58|
Ending this year, Ron G. Minnich has got Harvey running in RISC-V architecture, booting Harvey on Spike (ISA Simulator) and running rc shell on it. But he never rests and now is working on bringing it to QEMU and to FPGA. It's a big step for Harvey because we fixed some multiarch issues across the source and Ron found some bugs in timer interrupts in the hardware, so we all learned something.
What is Harvey OS?
Harvey is an effort to provide a modern, distributed, 64 bit operating system. A different environment for researching and finding new lines of work. It can be built with gcc and clang and has an ANSI/POSIX compliant subsystem.
Two news items about alternative operating systems in a row?
The year's off to a good start.
- Genode 18.02 introduces Sculpt OS - 2018-03-09
- Tock: a secure embedded operating system - 2017-11-08
- An open letter to Intel - 2017-11-07
- PC-MOS released under GPL - 2017-10-21
- More related articles