The seL4 microkernel https://sel4.systems/

.gitignore 509B

12345678910111213141516171819202122232425262728293031323334
  1. #
  2. # Copyright 2014, General Dynamics C4 Systems
  3. #
  4. # This software may be distributed and modified according to the terms of
  5. # the GNU General Public License version 2. Note that NO WARRANTY is provided.
  6. # See "LICENSE_GPLv2.txt" for details.
  7. #
  8. # @TAG(GD_GPL)
  9. #
  10. # generated python bytecode
  11. **.pyc
  12. # latex generated files
  13. **.aux
  14. **.log
  15. **.out
  16. **.lof
  17. **.lot
  18. **.bbl
  19. **.blg
  20. **.toc
  21. **.mpx
  22. tools/parsetab.py
  23. manual/env.tex
  24. manual/manual.pdf
  25. manual/stage
  26. manual/doxygen-output
  27. manual/generated
  28. # Emacs backups
  29. *~