sel4:0.0.2total uncompressed bytes80.4 KBtotal files21FixNewInclude { include: [ "src/**/*", "LICENSE-*", "README.md", ], has_build_script: false, }6 wasted filestotal waste: 9.9 KBCONTRIBUTING.md : 7.1 KBLICENSE_BSD2.txt : 1.5 KB.travis.yml : 981 B.gitlab-ci.yml : 147 B.gitignore : 107 B.gitmodules : 68 B