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 -- 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
