replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

monitor: support for registering revoke notifications

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

monitor: don't overwrite monitor state with connection information

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

flounder: implementing support to pass caps over UMP connection for endpoints

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Refactor process manager to enable spawnd discovery.

The process manager now allocates a special LMP endpoint for monitor.0 and
gives said endpoint to monitor.0 as part of the export_cb. After monitor.0
spawns spawnd, it uses that endpoint to send the new spawnd's iref to the
process manager. The latter then binds with spawnd, to keep track of its state.

For app cores, a similar workflow applies, except inter-monitor communication
is now performed. Namely, the new app core's monitor sends the new app core's
spawnd to monitor.0, which forwards it to the process manager. The latter then
binds with the app core's spawnd just the same.

Diagrams for the discovery protocol can be found at https://goo.gl/eJE37u.

Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>

T310: capops: Replace num_monitors_online() with num_monitors_ready_for_capops()

This commit replaces num_monitors_online() which was implemented as a query to
octopus for the number of online spawnd processes, with a function that counts
all intermon bindings that have the capops_ready flag set. This is what we
really need to know to decide what to do in the distributed capabilities code.

Closes T310.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Store BSP KCB in octopus as KCB 0 and update coreboot test to account for existence of KCB 0

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T274: Fix remote retype

Properly propagate source and destiation root cnode throughout monitor retype
code and fix kernel code for monitor cap creation and monitor retype.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Implemented simple octopus-based num_monitors_online() query.

Fixed monitor arm code.

monitor debug stuff + other debug msgs.

Removed rcap_db from monitor.

Do not engage monitors in distributed cap ops until mem alloc is setup.

Split up and moved around monitor's private includes.