Zircon

A microkernel developed by Google for the Fuchsia operating system, written in C/C++, with more than 800,000 lines of code.