Fuchsia's Zircon might count also. Google used to specifically call it a microkernel. Though they updated the descriptive language to just "kernel" after it

Fuchsia's Zircon might count also. Google used to specifically call it a microkernel. Though they updated the descriptive language to just "kernel" after it drifted further from LK and the number of syscalls got pretty high.