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
ⓘ