Licensing & Trademark
The seL4 kernel is open-source, and protected by a registered trademark in multiple countries. You are allowed and encouraged to use the logo and trademark, as long as you follow the Foundation guidelines.
License
The seL4 kernel itself is open source and licensed under the GPL, version 2. Application code, operating system components, and drivers can have any license, proprietary or open source. The GPL propagation clause of the kernel license stops at the kernel/user code boundary.
Trademark
You are allowed to use the seL4 trademark according to the Foundation guidelines.
The intent of these guidelines is that the name seL4 must refer to the seL4 code base, not a derivative or changed version of the kernel.
Logo
You are encouraged to use the seL4 logo to show off your work around
seL4, provided you are not violating the trademark use guidelines.
