At least on x86-based machines, Linux can get high-resolution time stamps on newer processors with the Time Stamp Counter (TSC)