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