On Mon, Oct 24, 2005 at 02:21:39PM +0100, Neal H. Walfield wrote:
> > > > 3) Will L4 on Hurd be using a constructor capability?
> > >
> > > I do not know. Unless L4.sec chooses to provide a COPY operation, the
> > > guarantees of the constructor seem impossible to achieve.
> >
> > This sounds interesting. What are the guarantees of the constructor?
>
> A constructor contains a program's code and some initial capabilities
> and is able to indicate if instantiations are confined.
>
> Jonathan recently outlined how constructors functions in [1] and I
> think he answers your question there.
Perhaps I should refine my question: What are the guarantees of the
constructor I can not achieve without a COPY?
I took a look at the description of constructors (thanks for the references!)
but I did not found the requirement for a COPY there.
Thanks,
Bernhard
_______________________________________________
L4-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/l4-hurd
