On Fri, 13 Mar 2015, Mark Rutland wrote:> w.r.t. CONFIG_PREEMPT, git grep tells me otherwise:Grep does not tell you what is deployed. Its more of a reflection of thethought of the kernel devs what they think are reasonable configurations.