replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Implemented newlib __lock_* functions for Barrelfish. Among other things this change enables proper locking for printf and co in multithreaded programs.
Initial version of public stable barrelfish repository.