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