For OSDI, gettimeofday should be processed locally.
[akaros.git] / OVERVIEW
2011-11-03 Kevin KluesMassive glibc and directory structure change