From 21cf4aaafb6088168d2f5c679477644c19116f3d Mon Sep 17 00:00:00 2001
From: Pino Toscano <ptoscano@redhat.com>
Date: Fri, 20 Apr 2018 15:27:04 +0200
Subject: [PATCH] uefi: remove last references to kraxel's old edk2 builds

Commit 889386f8c6088e57fd68f2bb6bf85f69ecfc6f6c removed most of them
already, so remove the last ones, and the supporting code.
---
 generator/UEFI.ml | 6 ------
 v2v/utils.ml      | 1 -
 2 files changed, 7 deletions(-)

diff --git a/generator/UEFI.ml b/generator/UEFI.ml
index daa78bdc9..bca3fa1ae 100644
--- a/generator/UEFI.ml
+++ b/generator/UEFI.ml
@@ -30,12 +30,6 @@ open Docstrings
 
 (* Order is significant *within architectures only*. *)
 let firmware = [
-    "i386",
-    "/usr/share/edk2.git/ovmf-ia32/OVMF_CODE-pure-efi.fd",
-    None,
-    "/usr/share/edk2.git/ovmf-ia32/OVMF_VARS-pure-efi.fd",
-    [];
-
     "x86_64",
     "/usr/share/OVMF/OVMF_CODE.fd",
     None,
diff --git a/v2v/utils.ml b/v2v/utils.ml
index e880001eb..67e2028f3 100644
--- a/v2v/utils.ml
+++ b/v2v/utils.ml
@@ -64,7 +64,6 @@ let find_uefi_firmware guest_arch =
   let files =
     (* The lists of firmware are actually defined in common/utils/uefi.c. *)
     match guest_arch with
-    | "i386" | "i486" | "i586" | "i686" -> Uefi.uefi_i386_firmware
     | "x86_64" -> Uefi.uefi_x86_64_firmware
     | "aarch64" -> Uefi.uefi_aarch64_firmware
     | arch ->
-- 
2.20.1