RIOT-OS/RIOT — pull request #746 by OlegHahm (2014-02-19 16:13:26+00:00)
Title: simple vtimer version for gettimeofday

Probably this should be moved to a different location. Something like `sys/posix/rtc`?