mirror/efi/shell/.git Stefan+Hajnoczi mirror/efi/fat/.git Stefan+Hajnoczi mirror/efi/edk2/.git Stefan+Hajnoczi mirror/efi/basetools/.git Stefan+Hajnoczi