On Mon, 10 Sep 2007 10:01:36 +0200, Frank Mehnert <[EMAIL PROTECTED]> wrote:
> thank you for the additional information. Please could you add > > nohz=off > > to your kernel command line and try if the problem is probably gone? > There is a problem with CONFIG_NO_HZ-enabled Linux kernels we are > trying to fix. Thanks Frank, this works fine with this option. Since I am using VirtualBox on a workstation, using this option is not a problem for me.
