Assertion: system kernel | /r/HasProperty | derived with kernel
Facets:
value: from mach
type: OTHER
value: from operating systems
type: OTHER
Source sentences:
text: The following is a list of operating system kernels derived from Mach and operating systems with kernels derived from Mach: