mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-10 22:44:30 +00:00
On Arndale, the kernel timer resets to the initial value of the last count-down and continues as soon as it reaches zero. We must check this via the interrupt status when we read out the timer value and in case return 0 instead of the real value. fix #1299