Linked by Thom Holwerda on Wed 27th Jun 2007 18:59 UTC, submitted by John Nilsson
Microsoft The Singularity team at Microsoft has recently published a new article concerning their research OS. It is a concise introduction to the Singularity project. It summarizes research in Singularity 1.0 and highlights ongoing research for Singularity 2.0.
Permalink for comment 251074
To read all comments associated with this story, please click here.
Maybe OT
by John Nilsson on Wed 27th Jun 2007 20:50 UTC
John Nilsson
Member since:
2005-07-06

Something struck me with all talk about static verification of security and such.

If an OS depends on static verification wouldn't that require software to be distributed in a high level representation for the system to be able to trust it? In other words refuse to run anything which wasn't supplied as source code.

A technological dependence on open source... I'd like that.

Reply Score: 2