From 54bdfd4f1e80039e0486ddc2a57402a4174f4b88 Mon Sep 17 00:00:00 2001
From: David Abdurachmanov <davidlt@rivosinc.com>
Date: Thu, 29 Jun 2023 08:39:38 +0300
Subject: [PATCH] Switch back to non-zboot kernel.

This requires EFI bootflow, which we don't support yet in Fedora/RISCV.

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 e286b6121..7f9a722d9 100644
--- a/kernel.spec
+++ b/kernel.spec
@@ -511,8 +511,8 @@ Summary: The Linux kernel
 %define all_arch_configs %{name}-%{specrpmversion}-aarch64*.config
 %define asmarch riscv
 %define hdrarch riscv
-%define make_target vmlinuz.efi
-%define kernel_image arch/riscv/boot/vmlinuz.efi
+%define make_target Image.gz
+%define kernel_image arch/riscv/boot/Image.gz
 %endif
 
 # Should make listnewconfig fail if there's config options