K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2020-02-08T13:35:56.431136Z
K 7
svn:log
V 174
Implement the Linux/arm64 VDSO gettimeofday and clock_gettime

These are used by Centos 7 and will be needed for the
emulators/linux_base-c7 port.

Sponsored by:	DARPA, AFRL

END