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