Hi
Just as a off topic and personal comment about this; I found interesting the kernel of the Fuchsia project, this kernel is called Zircon. Even that I have my limitations understanding a low level kernel It catches my attention that there is a new open source kernel that is built with a
microkernel architecture.
Maybe the world needs an open and successful microkernel that can compete with Linux. Who knows?
Regards