Re: A comment about changing kernels

[Bernhard Kauer]

> > > > Beside this, both operations are implementable with around 30 lines of
> > > > code each, which makes these features not very critical.
> > > 
> > > Which features do you mean exactly?
> > 
> > The copy() and identification operation.
> 
> What my questions were trying to elicit was an explanation of why copy
> is not required.  For me this means that either L4.sec allows us to
> construct systems such as the Hurd on L4.sec using other operations or
> it means that L4.sec is not an appropriate platform for systems such
> as the Hurd. 

I belief you can construct systems without having copy() in the kernel.
If this is not the case, we have to implement around 30 lines of code,
which makes this belief not very risky.

    Bernhard