On Wed, Oct 03, 2012 at 01:03:14PM -0700, Paul E. McKenney wrote:> That has not proven sufficient for me in the past, RCU_FAST_NO_HZ> being a case in point.Taint the kernel at boot time? That'd be sufficient to force distros to disable it.-- Matthew Garrett | mjg59@srcf.ucam.org