K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2015-05-23T23:08:54.497730Z
K 7
svn:log
V 180
MFC r279816, r279826:

  Attach the prcm clock driver early, so it can set the mpcore timer frequency.

  Change the name of the dmtimer pps device from /dev/ppsN to /dev/dmtppsN.

END