On Fri, 2014-11-07 at 13:54 +0100, Stefan Seyfried wrote: > JFTR, this did not help: > tux@linux:~/linux> zgrep CONFIG_RCU_NOCB_CPU /proc/config.gz > # CONFIG_RCU_NOCB_CPU is not set > > neither did: > > --- a/init/main.c > +++ b/init/main.c > @@ -583,7 +583,7 @@ asmlinkage __visible void __init start_kernel(void) > early_irq_init(); > init_IRQ(); > tick_init(); > - rcu_init_nohz(); > +// rcu_init_nohz(); > init_timers(); > hrtimers_init(); > softirq_init();
Thanks. I guess this is not my lucky day. I won't be visiting a casino tonight... Paul Bolle -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/

