replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

kernel,armv8: move offsets constants to target/armv8/offsets_target.h

This is necessary because cpuboot's boot_arch.c for armv8 gets
KERNEL_OFFSET from the kernel headers(!) and the arch/offsets.h header
defines mem_to_local_phys() which conflicts with the mem_to_local_phys()
stub in include/barrelfish/cap_predicates.h which is pulled in with the
new cap_direct_identify() infrastructure.

So we move the constants to target/armv8/offsets_target.h and include
that in boot_arch.c instead of offsets.h

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

kernel/armv8: Rename armv8-specific INIT_* defines to ARMV8_INIT_*

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

[ARMv8] adding defines for address space sizes in bits

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

[Kernel/ARMv8] making KERNEL_OFFSET explicit ULL.

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

armv8/offsets: Increase PA size. Fix memory offset.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

Ditch FDT, and map kernel device memory.

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

Boot debug for BF in DS-5

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

Move kernel break to 48 bits (0xffff000000000000)

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

Preliminary ARM Foundation Model port.

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

T207: Implement local_phys_is_valid() and call this in paging_dump_tables()

Closes T207.

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>