This patch version makes use of the divide and round down macro to calculate the number of ticks. Following comments from Sascha, the Makefile is unchanged. Renaud Barbier (1): ARM:lib32: add architected timer arch/arm/lib32/Makefile | 2 ++ arch/arm/lib32/arm_architected_timer.c | 17 +++++++++++++++++ include/clock.h | 2 ++ 3 files changed, 21 insertions(+) create mode 100644 arch/arm/lib32/arm_architected_timer.c -- 2.27.0