replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

monitor: tracing: add more info to trace points

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

monitor: tracing: add more info to trace points

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

monitor: capops: add TRACE-points in delete

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

monitor: capops: add TRACE-points in delete

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

monitor: capops: delete: do not use state after freeing it

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

monitor: capops: delete: do not use state after freeing it

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

monitor: capops: delete: do not use state after freeing it

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>

capops: add some more DEBUG_CAPOPS in delete code

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

T245: capops: fix distributed delete

Fix distributed delete for the case where the cap to delete is already locked
when we enter capops_delete(). In that case we need to actually continue the
delete and queue it for retrying rather than returning the error to the
caller.

Closes T245.

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

flounder: merging rpc client with a binding layer

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

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

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

monitor: capops/delete: properly check slot_free() return value

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

monitor: capops: delete: fix case where we delete last owned copy after doing full remote delete

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

monitor/capops: add more DEBUG_CAPOPS() statements in delete code

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

monitor/capops: add more DEBUG_CAPOPS() in delete_trylock_cont

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>

T259: monitor: properly initialize capops delete state

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>

T191: change PhysAddr, RAM, Frame, DevFrame and VNode_* cap types to have size in bytes

This only changes the actual struct capability reprensentation for these
types. Most of the code dealing with these types now uses log2ceil(bits) to
set the new `bytes` field.

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

distops: fix typos and small bugs in delete state machine.

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

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

armv7: compiles.

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

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

More fixes in capability machinery.

Implemented monitor_delete_foreign invocation.

This invocation is used when deleting the last copy of a non-moveable
cap on its owning core. In this case, because the owner cannot be
migrated, all foreign caps must also be deleted, for which this
invocation is run on each monitor with foreign copies.

Fixed reversed condition in delete_remote handling.

Minor fixes to error handling.

Rewrote distributed revoke and delete handling.

Incomplete cleanup of delete capop to use conts.

Added function to initialize intermon rx_vtbl capop entries.

Fixed spurious cptr shift in delete when move fails.

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

Properly use lock queueing when trying to delete a locked cap.

Removed some debugging prints.

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

Handle tx_busy errors in queued send continuations.

Fixed some wrongly aligned cptrs in invocations from capops.

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.

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.

Migrated capops to clearer "locking" semantics.

Integrated error codes into errno.fugu.

Added invocations for distcap_get_state.

Added capop messages to intermon.if.

Split over-generic "send to all" with "to copies" and "to descendants".

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.

Implemented delete op, added broadcast helpers.