The Nanokernel

In the 2004 brief The Nanokernel, David L. Mills explains the reasons for moving NTP’s clock discipline code from user space to the kernel and describes the nanokernel architecture.