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>

armv7: make armv7 compile again on VF branch

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

monitor: don't overwrite monitor state with connection information

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

flounder: implementing support to pass caps over UMP connection for endpoints

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

Removed unused cap type Notify_RCK.

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

Adjustments of IPC to match new convention (static buffers).
(Flounder) Fixing a token passing in 32-bit architectures.

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

T191: x86_64: frame_identify returns size in bytes

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>

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

general cleanup of monitor internals

* start to abtract management of bindings to other monitors
(in preparation for multihop support)

* move code out of header files -- if the inlining is such a big
win, we can put it back later, but it seemed excessive

* fix a lot of irritating misnamed variables and
fields: most "closure" objects, and a lot of "st" pointers,
were in fact pointers to bindings

* deprecated num_cores_request message

* removed pingpong code from intermon interface

* removed some dead code

there should be no changes to runtime behaviour or APIs/interfaces
outside the monitor

--HG--
rename : usr/monitor/iref.h => usr/monitor/iref.c

Initial version of public stable barrelfish repository.