On Wed, 31 Aug 2011, Maarten Lankhorst wrote: > Hey all, > > I've been running 3.0.4-rt12 forsome time now without issues and nohz enabled, > with RCU_BOOST is set to 80 (same level as my emergency serial console), > is there still a reason why nohz needs to be disabled? I'm going to reenable it and see whether the various fixes in that area plugged all the problems. I mainly disabled it to narrow down the failure combinations. Thanks, tglx -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
