Disambiguation evidence for seL4 microkernel via surface form

"L4 microkernel family"

Triples (1)

Triples where some other subject referred to this entity as "L4 microkernel family".

Mach microkernel influenced
"L4 microkernel family"
↳ resolves to seL4 microkernel