Blog on seL4 licensing
10 Dec
2019
10 Dec
'19
10:46 a.m.
The question of what the seL4 license actually means, in particular, to which degree it may force deployer’s IP to be open-sourced (*), has come up repeatedly, and from informal discussions I realised that misconceptions abound. I tried to clear up such confusion in a blog that I just posted: https://microkerneldude.wordpress.com/2019/12/09/what-does-sel4s-license-imp... Enjoy, Gernot (*) short answer: normally not at all!
1802
Age (days ago)
1802
Last active (days ago)
0 comments
1 participants
participants (1)
-
Heiser, Gernot (Data61, Kensington NSW)