sel4:0.0.1total uncompressed bytes59.7 KBtotal files18FixNewInclude { include: [ "src/**/*", "LICENSE-*", "README.md", ], has_build_script: false, }4 wasted filestotal waste: 2.6 KBLICENSE_BSD2.txt : 1.5 KB.travis.yml : 981 B.gitignore : 107 B.gitmodules : 68 B