vuhlig@us.ibm.com writes:
The idea is, that the kernel can revoke pages from sigma 0, what is not implemented yet. [...]
I don't think it is a part of the Sigma0 specification that Sigma0 should be able to handle the case where the kernel revokes mappings of pages mapped into Sigma0. Instead, Sigma0 is pretty safe to assume that it magically owns---and has access to---all physically- addressable memory (maybe with the exception of the kernel-private code and data sections; the experts are still out on this one).
Michael