Waylon Cude authored
It turns out the seL4 is licensed under the GPLv2, without the clause letting you use any later version. Wayless was previously licensed under the GPLv3 (or later). As of this commit all of my source files have been relicensed to use the GPLv2, to ensure license compatibility.
This project is licensed under the Other. Learn more