Hi! David Brownell found the problem (patch: http://bugzilla.kernel.org/attachment.cgi?id=16269): If HPET_EMULATE_RTC is true, HPET_RTC_IRQ must be true too, which is not the case in the Debian kernel config of 2.6.25. I tried the patch with 2.6.25.4 from kernel.org with make oldconfig of the Debian 2.6.25-2 config and the system now has an uptime of 18,5 hours (with chrony running), so I think it's fixed.
Andreas
--
Andreas Juch ASCII Ribbon Campaign /"\
against HTML email \ /
GPG-Key ID: 21E6864A X
Fingerprint: D4D2 0F3F 138A F7A4 6DED 76EC F9EA 29BC 21E6 864A / \
signature.asc
Description: OpenPGP digital signature
