[bakul]

Thanks. rxv64 kernel (the much harder part), syslib and ulib are in rust. Replacing userland C with rust would not be hard. Ideally a general purpose OS should support programs written in any of the common programming languages so it would make sense to have some programs in another language to keep the OS API "honest"!

[o8vm]

octox aims to provide a user library similar to Rust’s std, but implementing it is somewhat difficult.