|
| From: | Jonathan S. Shapiro |
| Subject: | Re: seL4 Availability (Was: L4.sec) |
| Date: | Sun, 10 Jun 2007 20:33:35 -0400 |
On Mon, 2007-06-11 at 10:28 +1000, address@hidden 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
| [Prev in Thread] | Current Thread | [Next in Thread] |