It seems to suggest that posix.gettimeofday() should return two values, but instead it returns a table with 'sec' and 'usec' fields. Further, it claims the second value should be nanoseconds, while
http://linux.die.net/man/2/gettimeofday suggests it should be microseconds (which seems to be consistent with the values I'm getting). Is this documentation up to date?
--
Sent from my Game Boy.