Assertion: operating system's kernel | /r/CapableOf | use osfmk
Facets:
value: from the osf
type: OTHER
Source sentences:
text: The kernel of Darwin is XNU, a hybrid kernel which uses OSFMK 7.3 (Open Software Foundation Mach Kernel) from the OSF, various elements of FreeBSD (including the process model, network stack, and virtual file system), and an object-oriented device driver API called I/O Kit.