replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

monitor: capops: Remove no-longer-needed capops/magic.[ch]

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>

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: bugfixes in the revocation protocol

revoke_local was called twice resulting in state corruption

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

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

Keep cptrs right-shifted throughout capops.

Added "retrieve" operation for revoke.