replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

ump,flounder: moving a flow control from a flounder level to a ump level

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

flounder,waitsets: adding chanstate dependency in order to wait for a specific chanstate with minimal side effects

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

Multi-threaded waitsets, tokens added to IPC messages.

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

Always use frame_identify() instead of raw invocation

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

T191: x86_64: frame_identify returns size in bytes

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

T24: remove remaining SCC code

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

libbarrelfish: Spilt private waitset_chan.h header into a public and private
header.

* Check all files that included the old header, if the need the private or the
public header or both or none at all. Some files included the header but
didn't use any of the functions provided by the header.

* Change libahci so that it no longer uses the libbarrelfish-private header.

Removed RCK_EMU and updated SCC tech note.

implement ump_chan_destroy / ump_endpoint_destroy

This is not nearly the same as binding teardown, but it allows a
failed UMP bind attempt to continue and fallback to trying multihop.

fixes to enable compilation with ICC

The primary changes are avoiding pointer arithmetic on void * types, which is
evidently a GCCism: instead a byte-sized pointer type should be used.

Other changes include workarounds to avoid uninitialised variable warnings,
and an insistence that const values have an initialiser (being static and implicitly
initialised to zero isn't sufficient).

Initial version of public stable barrelfish repository.