Karim Yaghmour ([EMAIL PROTECTED]) wrote:
>
> .. skipped ...
> The code I've written to fix do_gettimeofday isn't the most efficient
> that can be written to do the job, but it works. Feel free to optimize
> this and use it as you wish. If this can be used by RTLinux folks then
> so be it.
Thanks, but
in RTLinux, gettimeofday has been working correctly for a while already.
Michael.
-- [rtl] ---
To unsubscribe:
echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
---
For more information on Real-Time Linux see:
http://www.rtlinux.org/rtlinux/
