It's a family of microkernels.

https://en.wikipedia.org/wiki/L4_microkernel_family