Assertion: kernel | /r/HasProperty | separated
Facets:
Source sentences:
text: In contrast, a microkernel may react slowly to application calls as user services and the kernel are separated.