From 9d19b9acba241a7695f642fa2aeb9d0eff718bd1 Mon Sep 17 00:00:00 2001
From: David Abdurachmanov <david.abdurachmanov@gmail.com>
Date: Tue, 19 Mar 2019 14:41:11 +0100
Subject: [PATCH] Build Image.gz

Note, that currently BBL and OpenSBI would require manually
uncompressing it for usage. U-boot will support compressed kernel
payloads.

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

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