High res time for Linux