caps: adding endpoint cap type for UMP endpoints

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

caps: adding a new capability type for devices

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

caps: adding capability definitions for the Intel VT-d IOMMU root and context tables

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

T82: checkpoint. Guest domain up. Need to implement hypervisor service.

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

Add mdb operation counts to calculate scores for different implementations

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

Add mdb operation counts to calculate scores for different implementations

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

kernel,mdb: cleanup delete tracing

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

kernel,mdb: cleanup delete tracing

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

kernel,mdb: add trace points on caps_delete() path

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

kernel,mdb: add trace points on caps_delete() path

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

Implement get_mdb_size() debug syscall

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

Implement get_mdb_size() debug syscall

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

fixing compilation for release mode

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

Create "ProcessManager" and "Domain" capabilities.

The ProcessManager capability is created by the CPU driver at startup and given
to init, where it will be passed on to the monitor and then the process manager
subsequently.

The Domain capability is an ID-like cap retypeable from the ProcessManager cap
above. The process management server can hence use the ProcessManager cap to
create Domain caps and give them to spawnd instances, to facilitate identifying
domains locally and globally.

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

libmdb: wrap function that is only used with assertions enabled in #ifndef NDEBUG

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

libmdb: add argument sanity check in mdb_is_inside()

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

Removed unused cap type Notify_RCK.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

T258: Delete GPT cspace functionality and rename new functions

This commit deletes all the old GPT cnode code, and renames the new two-level
functions to the "old" names (e.g. caps_lookup_slot() is now a two-level
cspace function).

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>

mdb_traverse: remove typedef for tree traversal direction

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

Fixes T120: mdb: Add mdb tree traversal functions.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

Make sure test programs compile again.

libmdb: fixed potention NULL deref in mdb_is_reachable().

libmdb: fixed CHECK_INVARIANTS() macro (again).

libmdb: Fixed broken CHECK_INVARIANTS macro when MDB_RECHECK_INVARIANTS defined.

libmdb: Improved top-level assertion checking preprocessor switch.

* Moved assertions about reachability of nodes being inserted/removed inside
toplevel invariant checking macros

Fixed typo in libmdb Hakefile and removed duplicate invariant checking.

libmdb: added config flags and macros for toplevel invariant checking.

Added non-recursive invariant checks in libmdb.

Added noreturn attribute to mdb_dump_and_fail().

Added new mdb tracing option and some assertions.

Trace all mdb inserts and deletes.

Assert that kcb is set.

Various debugging and disabled mdb sanity checks.

Remove temporary if in mdb:set_root().

Made mdb update kcb if compiled in 'kernel mode' and adapted mdb tests.

Fixed mdb_skew and mdb_split to properly update root node if necessary.

Added mdb_init() to set mdb root node to arbitrary address.

This function is supposed to be used in conjunction with the value of mdb_root
in the kcb. The function ensures that the value that is set is the root of a
valid mdb tree by running the sanity checks and invariant checks on the
address.

Cleanup

This should now be equivalent to previous dc2b342

monitor debug stuff + other debug msgs.

Mark's capabilities merged with upstream.

Test Plan: Run all harness tests

Reviewers: zgerd

Differential Revision: https://code.systems.ethz.ch/D1

Fixed mdb_skew and mdb_split to properly update root node if necessary.

Fixed mdb_skew and mdb_split to properly update root node if necessary.

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

Added tests and benchmarks for MDB.

Fixed wrong assertion in mdb range query algorithm.

Fixed handling of 0-length range queries in MDB.
They are now roughly equivalent to length 2 range search from addr-1 to
addr+1, except without the partial matches.

remove slow asserts from MDB. ARM tests pass.

Fixed warning on builds with -DNDEBUG.

Fixed wrong size type in definition of mdb_find_range.

Fixed tracing macros.

Added and extended MDB code/API documentation.

Put tracing and invariant checks in PP blocks.

Fixed bug in set_cap_remote.

Adapt existing mdb functions in kernel to use new tree.

Updated mdb_tree for new cap_predicates.

Unified method prefixes for cap getters.

Added support for multiple roots.

Added CAPS_ERR_INVALID_ARGS for use by mdb_find_range.

Check value ordering in mdb_check_invariants.

Added tiebreak arg to cap_compare, set to false for address queries.

Moved mdb errors into errno.fugu, split headers.

Fixed passing ctes instead of capabilities to "choose" functions.

Added comments on inout/out arguments in find_range code.

Removed unused mdb_choose_result function.

Augmented AA tree for handling ranges, added range query API.

Created lib/mdb with AA tree implementation.