K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2015-03-09T21:58:41.738840Z
K 7
svn:log
V 271
Change the name of the dmtimer pps device from /dev/ppsN to /dev/dmtppsN.

ntpd is hard-coded to use /dev/ppsN, and typically when multiple PPS sources
are available the sysadmin will symlink the right one(s) to /dev/ppsN, so
it's best to not usurp those names directly.

END