Assertion: kernel's service | /r/HasProperty | obtained in microkernel-based system
Facets:
value: by sending an ipc message
type: MANNER
Source sentences:
text: In the microkernel-based system, the service is obtained by sending an IPC message to a server, and obtaining the result in another IPC message from the server.