Disambiguation evidence for seL4 microkernel via surface form
"seL4 operating system kernel"
Triples (1)
Triples where some other subject referred to this entity
as "seL4 operating system kernel".
NSW Science and Engineering Award (Engineering and ICT) for seL4 team
→
associatedWith
→
"seL4 operating system kernel"
ⓘ
↳ resolves to seL4 microkernel