gettimeofday(2) and time(2)

[Derick Swanepoel]

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