[cap-talk] Can We Make Operating Systems Reliable and Secure? - waiting?

[Valerio Bellizzomi]

On 09/05/2006, at 17.23, Jed Donnelley wrote:

>At 10:04 AM 5/9/2006, Valerio Bellizzomi wrote:
>>On 08/05/2006, at 19.58, Ian G wrote:
>>
>> >May be of interest...
>>
>>Personally lost interest for discussion. I am only waiting for running
>>code...
>>
>>val
>
>I'm not sure what you are waiting for?  At least Minux is available.

I am waiting for running Coyotos application code to test, debates might be
useful, but I prefer to have real data to compare.
Btw, what is Minux ?

>Singularity is running code.  Are you saying that you need to get

What is Singularity ?

>your hands on it?  Xen is open source, so one could certainly
>start there and replicate the Karlsruhe approach, likely much
>more simply on the processors that are coming out and are fully
>virtualizable.

now there is also www.openvz.org

>
>It seems to me there is plenty of available code to work on.  What
>specifically are you waiting for?  Are you waiting for an available
>full blown commercial system (e.g. Windows NNT) that has
>something like Singularity as a base?  In that case I guess you
>will be waiting for a while.

I am waiting for full blown Coyotos. I have been able to get hands on
Coyotos and make some experiments, but right now Coyotos is not yet usable
by the end-user.

val

>
>--Jed http://www.webstart.com/jed/ 
>
>
>_______________________________________________
>cap-talk mailing list
>cap-talk at mail.eros-os.org
>http://www.eros-os.org/mailman/listinfo/cap-talk