La risposta mi convince, solo presupponendo che gkrellm abbia un proprio accesso ai server che danno l'ora....

Altrimenti non capisco da dove diavolo prenda i suoi valori dato che sono diversi sia il clock del bios (dato da hwclock suppongo) che quello di sistema (visto con date, almeno credo).

Ciao!