armv8: Implement wait_for_interrupt

Enable interrupts and correct handling of irq from EL1

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

New ARMv8 vectors mostly work.

Still crashing on MDB code - something's corrupted.

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

ARMv8-GEM5 builds again, with the new exception vectors.

Not tested.

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

The core of the new ARMv8 exception vectors

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>

armv8: cpu driver improvements.

* Set exception vector base register
* Use provided kernel stack
* implement some system register inline assembly
* Clean up arch_init()
* Add prototypes for paging_init() and paging_dump().

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