Assertion: kernel's service | /r/CapableOf | obtain the result
Facets:
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.