2 repositories on SrcLog
ARINC653 Multi-Partition Operating System Based On RISC-V, capable of running on SiFive HiFive Unmatched.
Coekjan's blog