replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

monitor: remove unused code from the revoke notify

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,capops: improve revoke + retype TRACE-points

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

monitor,capops: improve revoke + retype TRACE-points

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

monitor: add extra trace points between revoke phases

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

monitor: add extra trace points between revoke phases

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

monitor: add TRACE-points to capops_revoke()

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

monitor: add TRACE-points to capops_revoke()

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

monitor: capops: ownership xfer, delete, retype, revoke: delete temp capabilities when operations done

The monitor domain did not cleanup root cnode capabilities which it receives
on a temporary basis during some of the distributed capability operations.
Depending on operation order this led to a steadily growing number of
capabilities on some cores.

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

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>

T258, T264, T270: Implement two-level cspace layout using L1/L2 CNode objects.

distops functionality is NYI.

This commit also makes the root cnodes explicit for sys_map(), closes T270.

Notable changes:
* LRPC LMP endpoints are regular capabilities in L2 cnode, no longer in root
cnode.
* Capability operations take a capability address for the root cnode relative
to which capability addresses are to be resolved. The root cnode capability
address must be resolvable in the current domains cspace.

Closes T264.

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

T242: handle FLOUNDER_ERR_TX_BUSY for all capops

Closes T242.

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

T152: fixing memory leakage, missing of free state

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

monitor: bugfixes in the revocation protocol

revoke_local was called twice resulting in state corruption

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

monitor: distops: add missing free + assert in retrieve.

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

monitor: handover of correct state for cap revocations

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

monitor: bugfixes in the revocation protocol

revoke_local was called twice resulting in state corruption

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

monitor: distops: add missing free + assert in retrieve.

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

monitor: handover of correct state for cap revocations

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

capsend broadcast: can now remember set of destination cores for operations involving >1 broadcast.

Implemented simple octopus-based num_monitors_online() query.

monitor: fixed revoke and delete paths for single-core execution.

Make x86_32 compile; some of the monitor invocations are disabled right now.

fixed stuff + more output.

monitor: Fixed missing list cleanup in capops/revoke.

Added explanatory printf in revoke machinery; fixed DEBUG_ERR in spawnd:cleanup_cap().

Fixed some issues in revoke machinery.

Rewrote distributed revoke and delete handling.

Incomplete cleanup of delete capop to use conts.

Fixed cap locking in revoke.

Added function to initialize intermon rx_vtbl capop entries.

Removed some debugging prints.

Added and fixed various debug printfs related to cap operations.

Export capop rx handlers so they can be used in vtbls.

Moved capops headers into monitor's include dir, added function prefix.

Re-enabled "remote_relations" in mdb and fixed over-eager memory reclamation.

Integrated delete & revoke handling.

Changed API to better support caps from other domains.

In particular, this uses a (capref, capaddr, bits) tuple whenever a copy
a reference to a particular cap/slot is necessary, and thus copying the
cap in question is not possible.

Prefix remaining unimplemented invocatios with "monitor_".

Migrated capops to clearer "locking" semantics.

Integrated error codes into errno.fugu.

Added invocations for distcap_get_state.

Added capop messages to intermon.if.

Reordered some things in revoke.c for clarity.

Suitably prefixed all "capsend" functions.

Renamed capops/transport to capops/capsend.

Added retype, made things more compilable.

Added some code for revoke&delete, does not compile.