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
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers