21 Jun
2014
21 Jun
'14
4:33 a.m.
Yes, but you'll have to wait a little longer. On 21 Jun 2014, at 12:00 pm, "Jorge Ventura" <jorge.araujo.ventura@gmail.com<mailto: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.de<mailto:l4-hackers@os.inf.tu-dresden.de> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers