Stefan Kalkowski 80fa23da5e hw: increase timing accuracy of kernel (fix #3081) ... * Introduce 64-bit tick counter * Let the timer always count when possible, also if it already fired * Simplify the kernel syscall API to have one current time call, which returns the elapsed microseconds since boot		2019-03-18 15:56:23 +01:00
..
bbl	base-hw: BBL fix warnings	2017-08-30 10:00:00 +02:00
bootstrap	hw: add board support for Nitrogen6 SoloX	2019-02-26 14:45:31 +01:00
core	hw: increase timing accuracy of kernel (fix #3081)	2019-03-18 15:56:23 +01:00
include/base/internal	core: avoid null pointer reference warning	2019-01-07 12:25:44 +01:00
kernel/spec/muen	Update Muen port	2017-06-29 11:59:58 +02:00
lib	hw: increase timing accuracy of kernel (fix #3081)	2019-03-18 15:56:23 +01:00
test	Add missing override annotations	2019-02-19 11:12:11 +01:00
timer/hw	hw: increase timing accuracy of kernel (fix #3081)	2019-03-18 15:56:23 +01:00