2 ArmPkg/Library/GccLto/liblto-*.a
4 CryptoPkg/Include/openssl/*.h
6 Conf/.AutoGenIdFile.txt
11 EdkShellBinPkg/FullShell/X64/Shell_Full.efi
12 FatBinPkg/EnhancedFatDxe/X64/Fat.efi
13 UefiCpuPkg/ResetVector/Vtf0/Bin/*.raw
14 debian/PkKek-1-vendor.pem
15 debian/oem-string-snakeoil
16 debian/oem-string-vendor
18 debian/ovmf32-install/
19 debian/python/UEFI/__pycache__/
20 debian/setup-build-stamp