[12:10] <muse> You should modify the /etc/init.d/ondemand script to be more general. It should work in conjunction with the CPU frequency monitor applet to set the default, user prefered setting..