Re: Broken dream of mine :(

William Leslie wrote:
> On Mon, Sep 14, 2009 at 8:00 PM, arnuld uttre <[email protected]> wrote:
>> Well, It was sometime ago when Jonathan Shapiro started working on
>> Coyotos and there was some discussion on mailing lists that Coyotos
>> may be the next generation microkernel for Hurd.
> 
> Even for some time before Coyotos was no longer actively developed,
> it was effectively abandoned by the primary architects of the hurd, due
> to its support of the so-called non-trivial confinement.

This is not true, at least for me.  Confinement was a big discussion (for
political reasons), but it didn't affect my kernel choices (or lack thereof)
at all.  It did influence my ideas for overall system design.

> I think there are a lot of people still interested in a Coyotos
> future, but there is
> no direction to follow, and nobody writing code that I am aware of. As with
> any free software, people will go where the activity is. If someone
> started doing
> something with Coyotos, well, maybe.

If you are interested in proven security, the seL4 people just announced
successful verification of their kernel (see any recent item on www.l4hq.org).

Thanks,
Marcus