gettimeofday(2) and time(2)

[Derick Swanepoel]

On 6/8/05, Tiago João Portela Jorge <tjpj at lasige.di.fc.ul.pt> wrote:
> use the RTC server. $(L4DIR)/pkg/rtc.
> 
> Tiago
> 
> > Hi all,
> >
> > I would like to get the current time as reported by gettimeofday(2)
> > and time(2). However, neither of these functions seem to work in L4.
> > gettimeofday() fills in the timeval struct with random values and
> > time() always returns -1.
> >
> > What is the correct way to get the time in seconds since the Epoch in L4?
> >
> > Thanks in advance,
> >
> > Derick
> >
> > _______________________________________________
> > l4-hackers mailing list
> > l4-hackers at os.inf.tu-dresden.de
> > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
> >
> 
> 
> --
> Tiago Jorge

Thanks, the RTC server is what I needed. However, I'm not sure if I'm
using it correctly. As far as I can tell, in order to use time() and
gettimeofday() I need to link against libdiet_be_time, but when I do I
get the following error while linking:

../../../../../lib/x86_586/l4v2/libdiet_be_time.a(l4libc_init_time.o)(.text+0x20):
In function `l4libc_init_time':
/home/derick/DROPS/l4/pkg/rtc/lib/libc_backend/time/l4libc_init_time.c:37:
undefined reference to `l4rtc_get_offset_to_realtime'

I am linking against librtc (and I'm using the l4env_freebsd mode --
maybe that is the problem).

For now I'm calling l4rtc_get_seconds_since_1970() directly.

Derick