This document is a draft. This information may be incomplete and/or inaccurate
After reading an article on Hacker News about Google's Fuchsia OS, I decided to take a look at its microkernel, Magenta.
I always had an interest on microkernels, and over the years I've read a lot of code from Mach variants, L4 family, MINIX 3, HelenOS, and so on. I even maintain a MkLinux (OSFMach+Linux) repo to preserve its code (https://github.com/slp/mkunity) and made minor contributions to GNU Mach and GNU Hurd.
I'm also curious about Google's approach with Magenta because writing a pure microkernel in the era of SSDs and 10 Gbps interfaces, is one the most challenging tasks you can find. To be able to extract the full potential of such devices, you need to both find the shortest possible path from user application to device (that is, keeping the lowest CPU induced latency) and being able to parallelize the IO load without compromises.