On Wed, Dec 02, 2015 at 09:18:05AM +1100, Michael Ellerman wrote: > > I (still) haven't had a chance to have a good look at it, but I won't this week > anyway. So post v5 and hopefully I can review that and it will be perfect :) The perfect v5 is there now, for 4 weeks minus the holiday season, and no further problems arose. Independently verified by Petr Mladek -- don't forget his high-level fix. Torsten -- To unsubscribe from this list: send the line "unsubscribe live-patching" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html