Assertion: kernel | /r/HasProperty | separated in microkernel-based system
Facets:
Source sentences:
text: A notable difference between microkernel and monolithic kernel is that, in a microkernel-based system, the OS services and kernel are separated.