Configure authoritative time server to use external source

We usually configure servers to use an external time source, but a new client’s existing (2012) server was using the ‘free running system clock’ and was about six minutes fast. The quickest solution is to apply the registry changes outlined in the MS KB article ‘Configure an authoritative time server in Windows Server’, stop/start the w32time service and wait a few seconds for the changes to apply. You can check the current config/status by running the following command:

w32tm /query /status