K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2014-08-13T12:35:30.895213Z
K 7
svn:log
V 124
Get the generic timer working on ARMv8. More work is needed to allow
the driver to be used on both 32 and 64 bit platforms.

END