miniblog.

Minix and how it has won mindshare in a way that Hurd struggled to: https://www.reddit.com/r/hurd/comments/273tij/hurd_the_minix_3_microkernel/chxycem/ (due to seL4, Redox I'm excited re microkernels)

The goals of Redox: https://www.redox-os.org/book/book/introduction/what_is_redox.html (Unixish and Linux compatible, but a microkernel with userland utilities all in Rust!)

I'm blown away by the thriving operating system communities that have grown up around Rust. E.g. Redox