Re: debian lenny kernel, xen dom0 version

[maximilian attems <max@stro.at>]

On Tue, Jun 23, 2009 at 11:29:05PM +0300, alexander merkulov wrote:
> >
> > with make menuconfig you have already lost.
> > change debian/config/config
> >
> >
> i read it.
> ok.i wil try folow step-bystep. mayeb it will apear on some step.
> 

edit debian/config/config, you want to set it like this:


diff --git a/linux-2.6/debian/config/config b/linux-2.6/debian/config/config
index 7e7f19e..0951e9c 100644
--- a/linux-2.6/debian/config/config
+++ b/linux-2.6/debian/config/config
@@ -2888,9 +2888,9 @@ CONFIG_MODVERSIONS=y
 ##
 ## choice: Timer frequency
 # CONFIG_HZ_100 is not set
-CONFIG_HZ_250=y
+# CONFIG_HZ_250 is not set
 # CONFIG_HZ_300 is not set
-# CONFIG_HZ_1000 is not set
+CONFIG_HZ_1000=y
 ## end choice
 
 ##