[LAU] debian realtime kernel config 2.6.25.8.rt7

[David Baron]

On Monday 14 July 2008 20:20:41 Emanuel Rumpf wrote:
> 2008/7/14 David Baron <d_baron at 012.net.il>:
> >> you should then have a device
> >>   /dev/rtc0
> >
> > I have /dev/rtc from previous
>
> that's the old interface
> it's incompatible, deactivate it. look at my config!
>   ( zcat config.gz | grep -i rtc )
> see src/Documentation/rtc.txt for more info
>
> # CONFIG_RTC is not set
> # CONFIG_GEN_RTC is not set
> # CONFIG_HPET_RTC_IRQ is not set
>
> >> then change the max-user-frequency of rtc (default is only 64):
> >>   echo 2048 > /sys/class/rtc/rtc0/max_user_freq
> >
> > I have this set to 1024 (kernel hz?) in /etc/sysctl.conf.
>
> 1024 is ok too.
> for the new interface however, there doesn't seem to be a sysctl
> option anymore/yet and one has to set it manually.

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.

Anyway, all the same results.