It’s a custom written OS for the RISC V processor written in Rust.

http://osblog.stephenmarz.com/index.html

Edit: original post I could’ve sworn was worded to imply it was what was what GP linked, but either I misread or it was edited, so changed my reply accordingly.