Re: [GIT PULL] nohz: Move nohz kick out of scheduler IPI, v9
On Wed, Jun 18, 2014 at 06:48:41PM +0200, Ingo Molnar wrote: > > * Frederic Weisbecker <fweisbec@gmail.com> wrote: > > Please pull the timers/nohz-irq-work-v7 branch that can be found at: > > > > Pulled, thanks a lot Frederic!
Ingo, the previous version had one of your machines fall over, is that machine good now?