Invalidating mapped flexpages in pagers

[Paul Boddie]

On Monday 18. March 2019 17.09.02 Paul Boddie wrote:
> 
> Many thanks for showing me the appropriate mechanism!

And in case anyone casually reading the list is interested, I wrote up some of 
my experiences investigating dataspaces and related concepts in L4Re:

http://blogs.fsfe.org/pboddie/?p=2469

There are probably some inaccuracies in there, but perhaps it is still useful 
to others in a similar situation.

Paul