2008/7/20 David Baron <d_baron(a)012.net.il>il>:
I rebuilt the kernel with the hpet stuff enabled. Make menuconfig offers no
place to get rid of CONFIG_RTC, even though hpet should be taking care of it.
I deactivated these:
Menu -> DeviceDrivers -> CharacterDevices -> EnhancedRealtimeClockSupport
Menu -> DeviceDrivers -> CharacterDevices -> Generic /dev/rtc emulation
but enabled:
Menu -> DeviceDrivers -> Real Time Clock