The seL4 microkernel https://sel4.systems/

.licenseignore 295B

123456789101112131415161718
  1. CONTRIBUTORS.md
  2. LICENSE_BSD2.txt
  3. LICENSE_GPLv2.txt
  4. VERSION
  5. configs/*/autoconf.h
  6. manual/figs/*
  7. .licenseignore
  8. .gitignore
  9. *.pyc
  10. .git/*
  11. *parsetab.py
  12. manual/*
  13. CHANGES
  14. src/plat/spike/machine/fdt.c
  15. include/plat/spike/plat/machine/fdt.h
  16. include/arch/riscv/arch/sbi.h
  17. include/arch/riscv/arch/encoding.h