Martin Stein 889db34cc3 hw cortex_a9: fix bug in kernel timer ... A bug in the timer-ticks-to-microseconds translation of the kernel timer caused the user time to periodically get stuck for about 32 milliseconds and then jump forward to the normal level again. Ref #2400		2017-06-29 11:59:54 +02:00
..
bbl	base-hw: RISC-V BBL	2017-05-31 13:16:24 +02:00
bootstrap	hw: prevent warning about conversion narrowing	2017-06-19 12:35:57 +02:00
core	hw cortex_a9: fix bug in kernel timer	2017-06-29 11:59:54 +02:00
include/base/internal	hw: fix capability accounting of kernel/core	2017-06-19 12:35:55 +02:00
kernel/spec/muen	Update Muen port	2017-05-31 13:16:22 +02:00
lib	hw: fix capability accounting of kernel/core	2017-06-19 12:35:55 +02:00
test	Streamline exception types	2017-05-31 13:16:07 +02:00