Skip to content
  • Waylon Cude's avatar
    The Great Relicensing · 1276aee1
    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.
    1276aee1
This project is licensed under the Affero General Public License v1.0. Learn more