tests/capops: actually use the passed capability, fix frame_identify in twolevel layout test

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

tests/capops: fix other occurences of frame_identify

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

tests/capops: use directy identify as frame_identify requres mappable cap

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

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Remove invoke_frame_identify, replaced with frame_identify().

This commit fully removes the Frame_Identify invocation and replaces the
calls with frame_identify().
Additionally, because the KCB is special, this commit introduces a new
invocation kcb_identify() which translates the lvaddr in the KCB
capability into the pysical address of the kernel control block.

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

T191: harness: add quiet mode to retype test and use it in harness.capops_retype_multi

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

Always use frame_identify() instead of raw invocation

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>

T191: rename testsuite from caps_next to capops

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