3 ms·
if it's based on seL4, which is licensed undel GPLv2, that we should be able to get our hands on the source code! yay!
by sideeffffect 7y ago
if it's based on seL4, which is licensed undel GPLv2, that we should be able to get our hands on the source code! yay!
- snvzz 7y agoHow so? seL4 is just the kernel. Linux can have software with a range of licenses in userspace, so can seL4. A system based on seL4 would be built as a bunch of services running under seL4, rather than by modifying seL4.