Modifications to L4Linux.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.


  1. The Linux Kernel is provided under:
  2. SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note
  3. Being under the terms of the GNU General Public License version 2 only,
  4. according with:
  5. LICENSES/preferred/GPL-2.0
  6. With an explicit syscall exception, as stated at:
  7. LICENSES/exceptions/Linux-syscall-note
  8. In addition, other licenses may also apply. Please see:
  9. Documentation/process/license-rules.rst
  10. for more details.