4 ms·

Linux has CLOCK_TAI.

• ambrop7 10y ago
  That's great to know. I had no idea since it's not mentioned in the man page for clock_gettime (part of the "Linux Programmer's Manual"). Apparently the man pages are out of date.