Example: Time Service Using Messages
The time service may be packaged as a server; clients pause or request time by sending a message to the server and waiting for a response. The clients trust the time server to provide the service correctly, just as they trust the kernel.