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!
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.