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>

mt-waitset: adding masking of channels so a thread won't handle two messages at the same time

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

flounder: removing monitor header file dependency from UMP

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>

turn off monitor and spawn client debugging.

Hacked x-core cap transfer to short-circuit on null caps.

Removed some debugging prints.

Use (now functioning) lmp give_away_cap to implement ump give_away_cap.

Completed implementation of "give away" cap support.

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.

ump: fix possible corruption/deadlock sending zero-length buffers

This fixes a problem reported by Zeus Gómez Marmolejo where a
zero-length buffer was silently dropped (while reporting success) if
the send channel was full when sending the first fragment.

remove support for Beehive

see the mailing list discussion at the end of December 2011 for motivation

flounder/ump: fix inconsistent variable name / meaning in support code

"sent_id" was supposed to be the next sequence number to be sent, but
I think "next_id" is much saner... moreover, it started from zero,
which meant that the ack logic was inconsistent wrt received acks

Merge from ASPLOS tree.

Initial version of public stable barrelfish repository.