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>

armv7: fixing the a9's timer

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: introducing system time based on time stamp counter/global timer, removing kernel_now

Signed-off-by: Adam Turowski <adam.turowski@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>

Moved ARMv7 platform quirks to kernel arguments

This lets us ditch two trivial platform files (plat_fvp and plat_gem5).

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

A9: Clear the local timer event at the source.

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>