Hi, I am using Debian sid. After udev upgrading, i fountd that there is no rtc device in /dev. But there is a device named 'hpet'. There is also a file name max-user-freq in /proc/sys/dev/hpet. How can i use hpet to replace rtc? thanks xiaoyang