Assertion: kernel's code | /r/HasProperty | needed
Facets:
Source sentences:
text: Microkernels are easily extensible, but more code is needed to write a microkernel.