From 7094da6400c2a0d4fcad8f889ede970896b07213 Mon Sep 17 00:00:00 2001
From: David Abdurachmanov <david.abdurachmanov@gmail.com>
Date: Sat, 3 Nov 2018 14:57:46 +0100
Subject: [PATCH] riscv: change kernel image

Signed-off-by: David Abdurachmanov <david.abdurachmanov@gmail.com>
---
 kernel.spec | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/kernel.spec b/kernel.spec
index 58b823368..7dd3956c8 100644
--- a/kernel.spec
+++ b/kernel.spec
@@ -313,8 +313,9 @@ Summary: The Linux kernel
 %define all_arch_configs kernel-%{version}-riscv64*.config
 %define asmarch riscv
 %define hdrarch riscv
-%define make_target bzImage
-%define kernel_image arch/riscv/boot/bzImage
+%define make_target vmlinux
+%define kernel_image vmlinux
+%define kernel_image_elf 1
 %endif