Re: seL4 Availability (Was: L4.sec)

"Jonathan S. Shapiro" <[email protected]>
Newsgroups gmane.os.hurd.l4
Message-ID <[email protected]> 
On Mon, 2007-06-11 at 10:28 +1000, [email protected] wrote:
> ...several (but certainly not all) aspects of the verification work
> have already been released under a 3-clause BSD license...

Harvey:

That's wonderful! And thank you for the update.


Jonathan
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.