Re: Question about seL4 on July 29th
Daniel Potts <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
Yes, but you'll have to wait a little longer. On 21 Jun 2014, at 12:00 pm, "Jorge Ventura" <[email protected]<mailto:[email protected]>> wrote: Anybody knows what kind of Open Source License is expected to be deployed with seL4 on July 29th ? _______________________________________________ l4-hackers mailing list [email protected]<mailto:[email protected]> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers