Invalidating mapped flexpages in pagers

Paul Boddie paul at
Tue Mar 19 23:13:23 CET 2019

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:

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


More information about the l4-hackers mailing list