Talk:Coyotos

From Wikipedia, the free encyclopedia

	This article is within the scope of Computing WikiProject, an attempt to build a comprehensive and detailed guide to computers and computing. If you would like to participate, you can edit the article attached to this page, or visit the project page, where you can join the project and/or contribute to the discussion.
???	This article has not yet received a rating on the quality scale.
???	This article has not yet received an rating on the importance scale.

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)

[edit] Formal Verification

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)