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émech, založených na mikrojádru, jsou úlohy získány odesláním IPC zprávy na server a získávání výsledku probíhá v další IPC zprávě ze serveru.