replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@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>

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>

Kaluga: Make unified irq src caps work on armv7

Signed-off-by: Lukas Humbel <lukas.humbel@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>

T119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_PRINT_CAPABILITIES syscall. Use capinvoke from fish instead. Improve output formatting.

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

T119: kernel, spawnd, fish: Use dispatcher invocations to dump capability information

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

T119: kernel: Unify debug_print_capabilities in sys_debug.c

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