Re: [PATCH] jump_label: jump_label for boot options.

From: Peter Zijlstra
Date: Fri Dec 02 2011 - 03:39:31 EST


On Fri, 2011-12-02 at 09:28 +0900, KAMEZAWA Hiroyuki wrote:
> Most of distro users will not turn off it...

Most distros carry a patch that changes the default to off.
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/