ARMv8: Make GIC400 work. Timer interrupts work.
authorLukas Humbel <lukas.humbel@inf.ethz.ch>
Wed, 12 Apr 2017 17:05:46 +0000 (19:05 +0200)
committerLukas Humbel <lukas.humbel@inf.ethz.ch>
Thu, 13 Apr 2017 09:09:29 +0000 (11:09 +0200)
commitd6fbc95b8ce6d6b2bd58b38a50d9134db2d49185
treeab573a8a41c78ac92d861c073d1ae999c4fbb632
parent3e3c625f84aeab9b076821f93e3b40380c40528f
ARMv8: Make GIC400 work. Timer interrupts work.

GIC400 is in fact a GICv2, files need to be renamed. It is found
for instance on the X-Gene Mustang.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
devices/gic_v3.dev
devices/gic_v3_cpu.dev
kernel/arch/armv8/exn.c
kernel/arch/armv8/gic_v3_mmio.c
kernel/arch/armv8/startup_arch.c
kernel/arch/armv8/timers.c