riscv: change kernel image

Signed-off-by: David Abdurachmanov <david.abdurachmanov@gmail.com>
This commit is contained in:
David Abdurachmanov 2018-11-03 14:57:46 +01:00
parent b3c173bfe0
commit 7094da6400
Signed by: davidlt
GPG Key ID: 7108702C938B13C1

View File

@ -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