does nohz still need to be disabled?

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?

~Maarten

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