|WikiProject Computing||(Rated Stub-class)|
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)
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.