replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Fixing some debug messages

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

monitor: capops: copy: add DEBUG_CAPOPS and clearer messages in forwarding path

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

monitor: capops: copy: properly zero copy state structs on allocation

This change fixes an issue where the owning core was trying to delete stale
caprefs when forwarding a lot of capability copy operations in a short span of
time.

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

T273: monitor: cleanup variable and argument names for cspace level

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 in usr/monitor/capops/copy.c

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

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

changed some debug prints in monitor and removed non-necessary debug output in fish and flounder stubs.

turn off monitor and spawn client debugging.

Hacked x-core cap transfer to short-circuit on null caps.

Added forwarding of free'd ram to core 0 + more debug messages

monitor debug stuff + other debug msgs.

Keep cptrs right-shifted throughout capops.

Include local and remote relations when xferring ownership.

Fixed not setting "to" field of copy capop state.

Consistently use conts to avoid duplicate error handling code in copy op.

Improved naming & cleanup in copy capop.

Implemented support for "give_away" transfers in capops_copy.

Added function to initialize intermon rx_vtbl capop entries.

Added individual remote relations bits for copies/ancestors/descendants.

Removed some debugging prints.

Fixed some cap locking and other issues in capops. It boots!

Fixed "copy" to properly clean up temporary caps and set copied cap to remote.

Added and fixed various debug printfs related to cap operations.

Changed copy result to cnode & slot.

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

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

Added valid bits param to cap copy result.

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_".

Added support for cap types that do not need locality.

Integrated capops with monitor_cap_create.

Note that cap_create_from_existing does not currently check that the
supplied owner matches existing local copies of the cap.

Integrated error codes into errno.fugu.

Added invocations for distcap_get_state.

Added capop messages to intermon.if.

Suitably prefixed all "capsend" functions.

Renamed capops/transport to capops/capsend.

Implemented delete op, added broadcast helpers.

Implemented move, put "transport" functions in own .c file.

Pseudo-implemented "copy" operation.