armv8: Start with all interrupts disabled

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>

arm: adding gic v3

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

GICv3: Add support for mem-mapped CPU interface

Not clear if this is working, since we don't have a interrupt source yet.

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

ARMv8: adding stub for booting cores on the X-GENE

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

ARMv8: adding missing function to make APM88xxxx target compile

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

kernel/plat_apm88xxxx: Correct gic_cpu_interface_enable function signature

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

kernel/armv8: Move GIC initialization to platform-specific code

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

kernel/armv8/apm88xxxx: Implement platform_get_info

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

aarch64: Make generic timer initialization platform independent

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

armv8: adding missing platform stubs for mustang

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

armv8/apm88xxxx: removing directory and moving functionality to plat_* files.

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

ARMv8: making Barrelfish boot on the X-Gene

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