From b6bb29723283c1c1524b2da9e99fc26536be7835 Mon Sep 17 00:00:00 2001
From: David Abdurachmanov <davidlt@rivosinc.com>
Date: Thu, 21 Sep 2023 13:36:47 +0300
Subject: [PATCH] Switch kernel to EFI target for riscv64

Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com>
---
 kernel.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel.spec b/kernel.spec
index e61ccdec5..1662f39a9 100644
--- a/kernel.spec
+++ b/kernel.spec
@@ -549,8 +549,8 @@ Summary: The Linux kernel
 %define all_arch_configs %{name}-%{specrpmversion}-aarch64*.config
 %define asmarch riscv
 %define hdrarch riscv
-%define make_target Image.gz
-%define kernel_image arch/riscv/boot/Image.gz
+%define make_target vmlinuz.efi
+%define kernel_image arch/riscv/boot/vmlinuz.efi
 %endif
 
 # Should make listnewconfig fail if there's config options