armv8: Start with all interrupts disabled

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

systime: adding a relative timeout function

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

arm: adding gic v3

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

armv8: disable for now PMUSERENR_EL0 because QEMU version <2.6.0 doesn't support it

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

ARMv8: Use generated armv8 mackerel files

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

ARMv8: Correct timer calls.

Timer interrupts trigger now reasonably often (each 80ms)

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

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>

ARMv8: move timer related code to timers.h

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

kernel/armv8: Remove debug leftovers from timers

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

kernel/armv8: Fix timer initialization to properly initialize kernel state

Initialize systime_frequency and kernel_timeslice according to timer frequency.
Previously, the frequency was not initialized, confusing the scheduler.

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

kernel/armv8: Read CNTPCT_EL0 for timestamp_read/systime_now

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

kernel/armv8: More timer implementation. Also align with systime-changes

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>