[LAU] debian realtime kernel config 2.6.25.8.rt7

[Emanuel Rumpf]

2008/7/20 David Baron <d_baron at 012.net.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