L4 Mapping question

[Michael Hohmuth]

vuhlig at 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
-- 
hohmuth at innocent.com, hohmuth at inf.tu-dresden.de
http://home.pages.de/~hohmuth/