just a few comments.

if you need a system call to set/get the rtc why not
use getitimer/setitimer with a new interval timer,
say ITIMER_RTC?

i'm not sure i understand why it is necessary to set the
softclock without setting the rtc, after all you are going
to be setting them to the save value - no?  in that case
settimeofday would do just fine.

jan-simon.

------------------------------------------------------------------------------