We don't need yet another UNIX kernel clone written in C, replicating POSIX APIs.
Modern OSes should explore safer architecture models with modern programming languages, not replicate 70's designs from AT&T world.