Hi.

I am using a verdex-pro with open-embedded linux. I need to increase the Linux timer interrupt frequency from 100Hz to 1000 Hz. But I somehow just can't change the CONFIG_HZ value through menuconfig.  Anybody knows how to do that?

I followed the steps from the following post:
http://old.nabble.com/Need-to-change-linux-interrupt-(jiffy)-from-100hz-to-1000hz-using-OE-td23454946.html#a23454946

bitbake gumstix-kernel -c menuconfig
I can only see the symbol through search in menuconfig ( Symbol: HZ [=100] ). Unfortunately, there is no way I can modify it because I can't find it in the menu.

Best
Yang