On Wed, May 19, 2010 at 5:13 AM, Sune Mølgaard <sune at molgaard.org> wrote: > As far as I've been able to find out via google, 250Hz should be fine. Would not booting with "nohz" suffice? 250 is the default. Best, -Dan