twizzler-operating-system / twizzler

The Twizzler Operating System
BSD 3-Clause "New" or "Revised" License
66 stars 13 forks source link

Make time types used in kernel match up with `twizzler-abi` #100

Open PandaZ3D opened 1 year ago

PandaZ3D commented 1 year ago

In the early days of development the type Nanoseconds was used to represent the semantic time unit.

https://github.com/twizzler-operating-system/twizzler/blob/66b8f2729afcbba0b4ab9b1e6fff2c902e42964b/src/kernel/src/clock.rs#L16-L20

However, PR #78 introduced new time types to be used in kernel and by users. To make things coherent we should make any notion of time used in the kernel match up with those APIs. This requires a number of things: