The Register recently had an article about xv6 rewrites in Rust,
mentioning both octox and rxv64 (disclaimer: I wrote rxv64).
This was interesting, though the article could use both an
editor and some technical proof-reading: in particular, it
totally misses the point when it discusses "langauge statistics"
for both: some of the userspace programs for rxv64 are in C, as
I wanted to demonstrate how the kernel implementation is
independent of the implementation of user-space programs at at
least the language level.
It is, at least, interesting to see some of these projects get
some attention from the press.
- Dan C.