RIOT-OS/RIOT — pull request #782 by OlegHahm (2014-02-25 11:16:49+00:00)
Title: added gettimeofday syscall

RIOT's gettimeofday needs to be called from syscalls.c to assure that
gcc actually links it.