Comment Comment by exsf0859 Google's Fuchsia OS uses a microkernel: https://fuchsia.dev/fuchsia-src/concepts/kernel parent exsf0859 3 years ago