"Eduardo E. Horvath" wrote:

> In that case, it's not really CPU-independent because depending on the
> cache architecture you might need to handle writebacks to pages that are

Eduardo,

You misunderstood---I was referring to discussion rather than
implementation ;)

Seems a fine idea anyway though. I'll have a bash at it sometime.

	Neil