From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Computing (Rated Stub-class)
WikiProject icon This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Stub-Class article Stub  This article has been rated as Stub-Class on the project's quality scale.
 ???  This article has not yet received a rating on the project's importance scale.
Note icon
This article has been automatically rated by a bot or other tool as Stub-Class because it uses a stub template. Please ensure the assessment is correct before removing the |auto= parameter.

This article[edit]

This article makes no mention of what license this kernel uses. I heard that the FSF was negotiating with its creator to possible make it the kernel for the Hurd project, does this mean that its FOSS or possibly going to be?

that would be safe to assume.
The current license is GPL (v2 or later). -- DavidHopwood 01:15, 29 August 2006 (UTC)

Formal Verification[edit]

The article states that Coyotos wishes to be the first formally verified operating system; however, I was under the impression that the SCOMP (the Secure Communications Processor) system was formally verified, hardware and software. [Security Engineering by Ross Anderson]

- Cody.ray 16:08, 12 July 2007 (UTC)

I note that Edsger Dijkstra has claimed that the THE Multiprogramming System had been formally verified; this work was done 1965-1968.

Blitz120 (talk) 22:45, 6 April 2009 (UTC)