ARMv8: Correct timer calls.
authorLukas Humbel <lukas.humbel@inf.ethz.ch>
Tue, 18 Apr 2017 09:01:04 +0000 (11:01 +0200)
committerLukas Humbel <lukas.humbel@inf.ethz.ch>
Tue, 18 Apr 2017 09:01:04 +0000 (11:01 +0200)
commit125e325480729111fbfecdf09f4f17f8ae802d37
tree31a8db78b81707d95f9fc57d9d244a98391e683b
parent5b6b85003edd050475bf509da205c8d6a4122266
ARMv8: Correct timer calls.

Timer interrupts trigger now reasonably often (each 80ms)

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
kernel/arch/armv8/exn.c
kernel/arch/armv8/timers.c