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>

Clean merge of HP's ARMv8 code

This adds support for an ARMv8 core running in the GEM5 simulator

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

Initial version of public stable barrelfish repository.