Time generation MPC8xx

Anyone knows how the time() function works on Linux on MPC8xx? I don't have an external RTC circuit but I think is emulated.
I thought that it used /dev/rtc but it doesn't seem so, furthermore /dev/rtc is really too fast. It gains 5-6 seconds per minute.

Any help is appreciated.

Bye,
Antonio.