search

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Other
22 stars 16 forks source link

Overflow in ARM timer driver #178

Closed Ivan-Velickovic closed 1 month ago

Ivan-Velickovic commented 3 months ago

Can't remember all the details, but I recall @alwin-joshy talking about how there is overflow in the ARM driver in at least one place: https://github.com/au-ts/sddf/blob/ba06ec1693f00f5d3b3681dca9bc22cc7f4fdd58/drivers/clock/arm/timer.c#L95

Overflow is visible 5-10 minutes after booting/starting the timer driver.

Ivan-Velickovic commented 3 months ago

I did not meant to close this....