Google Fuschia is a microkernel OS according to wikipedia https://en.wikipedia.org/wiki/Fuchsia_(operating_system)

This is based on little kernel from recollection (noted somewhere in the docs)