Service Discovery

The vm server implements service discovery, it allows looking for services by their names.

Registering a Service

#include <resea/ipc.h>

error_t ipc_serve(const char *name);

Looking for a Service

#include <resea/ipc.h>

task_t ipc_lookup(const char *name);

This function blocks until the server with the given name has been registered, and then returns the server's task ID.