replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

ARMv8: declaring sysreg functions as inline assembly

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

ARMv8: adding system register CPACR_EL1 to the device file

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

ARMv8: adding more sysregs to mackerel

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

ARMv8: adding mackerel definition for reading/writing TCR_EL2 register

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

kernel/armv8: Read value from first instead of second parameter in sysreg.S

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

kernel/armv8: Use armv8 register definitions in efiboot_init.c

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

armv8: Add ICC cpu register definitions

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

Initial ARMv8 device file with backing sysreg implementation

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@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>