/

• Makefile
• MicCorUEFCA2011_2011-06-27.crt
• debian
• shimx64.efi.signed
• update-secureboot-policy