sel4:0.0.11total uncompressed bytes92.9 KBtotal files21FixNewInclude { 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 : 830 B.gitignore : 107 B.gitmodules : 68 B