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.
V systéme založenom na mikrokerneli, služby sú získavané posielaním IPC správy serveru a získavanie výsledkov v ďalšej IPC správe od serveru.