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