Anybody knows what kind of Open Source License is expected
to be deployed with seL4 on July 29th ?