Anybody knows what kind of Open Source License is expected to be deployed with seL4 on July 29th ?
Yes, but you'll have to wait a little longer.
On 21 Jun 2014, at 12:00 pm, "Jorge Ventura" <jorge.araujo.ventura@gmail.commailto:jorge.araujo.ventura@gmail.com> wrote:
Anybody knows what kind of Open Source License is expected to be deployed with seL4 on July 29th ? _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.demailto:l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
On 21 Jun 2014, at 11:59 , Jorge Ventura jorge.araujo.ventura@gmail.com wrote:
Anybody knows what kind of Open Source License is expected to be deployed with seL4 on July 29th ?
The seL4 developers mailing list (copied) is probably the better place for this question.
Short answer: can’t tell you yet.
Longer answer: we have a clear idea of the licenses that will be used for the various parts, but have not yet concluded all formal agreements between the various parties having a say in this, and until that is the case, we cannot reveal more. What I can say is that I expect the community will be happy with the outcome.
Gernot
l4-hackers@os.inf.tu-dresden.de