What a terrible paper title.

For anyone wondering, this has nothing to do with microkernels. From the abstract:

  The clock frequency in modern workstations is stabilized by an uncompensated quartz or surface
  acoustic wave (SAW) resonator, which are sensitive to temperature, power supply and component
  variations. Using NTP and traditional Unix kernels, incidental timing errors with an uncompensated
  clock oscillator is in the order of a few hundred microseconds relative to a precision
  source. Using new kernel software described in this paper, much better performance can be
  achieved. Experiments described in this paper demonstrate that errors with a modern workstation
  and uncompensated clock oscillator are in the order of a microsecond relative to a GPS
  receiver or other precision timing source.