For OSDI, gettimeofday should be processed locally.
[akaros.git] / README