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
17 stars 14 forks source link

Arm timer fix #208

Open Kswin01 opened 1 month ago

Kswin01 commented 1 month ago

Fix for https://github.com/au-ts/sddf/issues/178. Adding in support for 128 bit integer division, as we do not have this as part of clang with no std lib. It does however exist in libgcc, but as we are moving away from gcc, this is a temporary fix before writing our own libc.

The multiplication should not overflow for approx ~10 trillion years instead of 5-10 minutes.