gettimeofday(2) and time(2)

[Tiago João Portela Jorge]

in my case, all i had to do was to load the server. try that. no linking with
its libs are needed. the RTC only reads the clock and makes its value avaliable
to who wants to use it.
And yes... l4env_freebsd isn't compatible with dielibc

Tiago

> 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
> 


-- 
Tiago Jorge