replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
ARMv7: Switched to ARMv7+ TLS registers. This frees up r9 for both kernel and user code. Signed-off-by: David Cock <david.cock@inf.ethz.ch>
Initial version of public stable barrelfish repository.