replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

libbf: use cap_direct_identify for frame_identify and co and replace calls to debug_cap_identify where appropriate

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

libbarrelfish: terminal: remove unnecessary debug_printf

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>

Implement termios functionality for a better shell.

Allows to use linenoise library in fish that gives better
handling of backspace, arrow keys, editing, commmand history etc.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

Fix include of if/terminal_config_defs.h - depending on the compile order it cannot be included from header files.

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

Return 0 when reading from a daemon.

Last commit before merge

Added: Fish support for ARM. Terminal works using USB keyboard
Typing input works, is a little bit buggy though...

libbarrelfish: Adjust libbarrelfish to new terminal API and remove old API.

Bugfix: VM Terminal does not get input from serial device

Adjusted some error values in code to remove references to chips in
name service loop-up.

--HG--
branch : octopus.chips-remove

don't block on the serial binding if you never initiated it

also added a comment indicating why I think blocking here is the wrong thing to do

terminal.c: Added event_dispatch on the default waitset
in terminal_want_stdin() to allow serial_bind to
complete.

Initial version of public stable barrelfish repository.