Nick Piggin wrote: > BTW. has anyone else actually looked at mmu notifiers or have an > opinion on this? It might be helpful for me to get someone else's > perspective. Yes we have had so much talk about this that I am a bit tired of talking about it. I vaguely remember bringing up the same point a couple of months ago. If you can make it work then great. -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html