replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Everything is working for 1 core. This includes init, mem_serv, monitor, ramfsd, skb, spawnd, startd and memtest.
remove support for Beehive see the mailing list discussion at the end of December 2011 for motivation
Initial version of public stable barrelfish repository.