implement lmp monitorserver

[abertschi]

121

[Liblor]

We have to come with a solution on how to make the lmp cb non-blocking. Current ideas:

• waitsets
• threads

[abertschi]

We have to come with a solution on how to make the lmp cb non-blocking. Current ideas:

* waitsets

* threads

As for waitsets, we can investigate how to enqueue events and how events are dispatched. See https://github.com/BarrelfishOS/barrelfish/blob/06a9f54721a8d96874a8939d8973178a562c342f/usr/monitor/capops/deletestep.c#L74 for usage of event_queue_add

[abertschi]

I merged their changes edfb4a4. Their binding exchange does not work yet and results in unrecoverable pagefaults.

• initial urpc frame is used to exchange bindings. bindings are urpc frames for urpc channels between monitor and servers.
• they introduced different functions to register a binding. bindings are passed to

  // monitorserver_register_service(name, rpc_message->cap);

  with cap and some name (presumably a type to distinguish which binding it is).

• process server does not yet accept localtasks (their todo)

I disabled binding exchange such that boot does not crash. Our todos:

• [x] change monitor api to accept bindings after instantiation, or change their implementation to continue to use our monitorserver_urpc_caps.
• [x] integrate monitor in "first_main" and "other_main"

[eikendev]

@abertschi, fix for the binding exchange has already been found. Patch is on the way.