it sounds like the kernel (L4-like, supposedly tuned to the specific hardware) and the "monitor" (userland, portable) are shared, from the paper.I'm confused what you mean by "shared".
ugh, I completely botched that.. I meant "replicated" not "shared".
-eric
Tim Newsham http://www.thenewsh.com/~newsham/