This is more what I meant. It just seems like Redox is taking the lessons we've learned over years of development, and being willing to break compatibility in order to implement them.
That being said, I don't know much about OS/kernel development.
That being said, I don't know much about OS/kernel development.
Redox is still Unix like, it moderately changes the file paradigm. Microkernel Unix clones are not new. They mention Minix as inspiration while there is no mention of L4 which did lot of work in microkernel performance.
A couple of weekends ago I was playing with seL4 on RISC-V and Rust under qemu, and it felt much better balanced overall than my recollections of LK.
https://fuchsia.googlesource.com/fuchsia/+/master/zircon/ker...
There used to exist a document about porting everything to C++, which I cannot find anymore.