Bas: I see no reason to distinguish confinement from confinement with endogenous verification, since the same mechanism achieves both.
Otherwise, good starting point! shap _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
