Welcome to... ... the GNU Hurd!
What about adding a nanosecond-precision clock, too? --tschwinge
The y2038 64b interfaces and the mapped time already support it, but the granularity is still the clock tick period.