Re: [PATCH 00 of 12] mmu notifier #v13

Jack Steiner
2008-04-23T00:31:40Z

On Tue, Apr 22, 2008 at 03:51:16PM +0200, Andrea Arcangeli wrote:
> Hello,
>
> This is the latest and greatest version of the mmu notifier patch #v13.
>

FWIW, I have updated the GRU driver to use this patch (plus the fixeups).
No problems. AFAICT, everything works.

--- jack