armv8: Start with all interrupts disabled

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>

armv7: enable timer in kernel

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

armv7: Move distributor driver to userspace

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

arms: unifying interrupts, timers and platform data

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

armv8: generalizing the interrupt controller

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

ARM: move the *_map.h files into /include/maps/

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

systime: fixing timers on A15

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

systime: adding support for A15 (broken for the moment)

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

ARMv7: A15/A17 FVPs. Don't quite work yet.

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

ARMv7: Rewrote serial drivers on ARM.

They're now fairly well compartmentalised on both ARM and x86, and can start
automatically from Kaluga. There's also a 'kernel' serial driver, which uses
the syscall interface to read and write on the kernel console. This avoids
having user level and kernel code racing on access to the UART. Fish works
(minus line editing) on all Versatile Express platforms.

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

ARMv7: Separated pre-MMU init code

The ARMv7 initialisation is now divided strictly into a pre-MMU phase and a
post-MMU phase, with the jump to arch_init_2 being a calculated long jump.
This doesn't make much difference on the Pandaboard and other platforms with
RAM at 0x80000000, but it makes it possible to support other RAM locations
with little or no change to the code. This will be necessary for the Zynq.

There's a little assorted cleanup included in this patch, of the MMU init
code.

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

Correctly handle wfi interrupts in the kernel.

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

Switched A15 timer to IRQ 29 to match GEM5.

This is wrong, and will need to be configured as a quirk for this platform,
unless it's fixed upstream.

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

Rationalised the ARM Platform code.

We now have separate targets for the GEM5 VE and FVP VE, as the GEM5 version
actually simulates an A15, and has a few quirks. The FVP VE and Pandaboard
targets share most of their code. Thus we've got three ARMv7-A targets now,
and it should be easy to add more, as soon as we've got the simulators.

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