replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

armv8: properly passing syscall arguments to the kernel. (T300)

From user-space syscall took 12 arguments, only 6 of them were
passed properly to the kernel, as they were overridden
by the exception handling assembly code.

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

ARMv8: Build fixes

Signed-off-by: Lukas Humbel <lukas.humbel@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>