[Fwd: Re: gettimeofday(2) and time(2)]

[Julian Grizzard]

> use the RTC server. $(L4DIR)/pkg/rtc.

Is $(L4DIR)/pkg/rtc part of the fiasco project CVS?  If so, how do you
check it out?  Contents of my $(L4DIR)/pkg/ directory from 20050523
CVS:

$ ls build/l4/pkg/
COPYING  CVS       hello      l4sys   Makefile       rmgr
crtx     demangle  l4lthread  l4util  oskit_support  sigma0

Thanks!

-Julian