sel4:0.0.6total uncompressed bytes83.1 KBtotal files20FixNewInclude { include: [ "src/**/*", "LICENSE-*", "README.md", ], has_build_script: false, }5 wasted filestotal waste: 9.1 KBCONTRIBUTING.md : 7.1 KB.travis.yml : 981 B.gitlab-ci.yml : 828 B.gitignore : 107 B.gitmodules : 68 B