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

[Jed Donnelley]

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.
Singularity is running code.  Are you saying that you need to get
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.

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.

--Jed http://www.webstart.com/jed/