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>

T274: armv8: update cspace invocations

Signed-off-by: Simon Gerber <simon.gerber@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 AArch64/ARMv8 skeleton.

This includes enough code and definitions to generate all *.depend files for
AArch64/ARMv8 and to build a mostly empty cpu driver for the Applied Micro
X-Gene 1 (apm88xxxx) SoC.

Note: the definitions should be taken with a large grain of salt, some of them
are not updated for AArch64/ARMv8.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>