On Tue, 2014-10-21 at 06:18 +0800, Greg Kroah-Hartman wrote: > > I've added this to the tiny/reverse-dev-coredump branch of my > > tinification tree at > > https://git.kernel.org/cgit/linux/kernel/git/josh/linux.git/ , with > > Johannes' review, and I'll push it upstream during the 3.19 merge > > window. > > I'll take it through the same tree this original came in and will get it > into 3.18 so we don't confuse anyone with an odd config option.
I don't know how far this commit made it, but looking at it again now I think the new option should probably be called "Allow device coredump" rather than "Enable device coredump" since it doesn't actually enable it if no drivers want it. Should I send another patch on top? johannes -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/

