[src/trunk]: src/sys/arch/evbarm/conf Be consistent with RPI 32-bit and 64-ke...

[skrll <skrll%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/8c06da9af814
branches:  trunk
changeset: 466260:8c06da9af814
user:      skrll <skrll%NetBSD.org@localhost>
date:      Mon Dec 16 14:32:14 2019 +0000

description:
Be consistent with RPI 32-bit and 64-kernels and use .img for the file
to give to the firmware to boot

diffstat:

 sys/arch/evbarm/conf/mk.rpi |  8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)

diffs (20 lines):

diff -r db8b9bb06f1a -r 8c06da9af814 sys/arch/evbarm/conf/mk.rpi
--- a/sys/arch/evbarm/conf/mk.rpi       Mon Dec 16 14:26:23 2019 +0000
+++ b/sys/arch/evbarm/conf/mk.rpi       Mon Dec 16 14:32:14 2019 +0000
@@ -1,4 +1,4 @@
-#      $NetBSD: mk.rpi,v 1.7 2019/12/16 11:00:30 skrll Exp $
+#      $NetBSD: mk.rpi,v 1.8 2019/12/16 14:32:14 skrll Exp $
 
 SYSTEM_FIRST_OBJ=      armv6_start.o
 SYSTEM_FIRST_SFILE=    ${ARM}/arm/armv6_start.S
@@ -9,7 +9,7 @@
 KERNEL_BASE_VIRT=0x80008000
 
 SYSTEM_LD_TAIL_EXTRA+=; \
-       echo ${OBJCOPY} -S -O binary $@ $@.bin; \
-       ${OBJCOPY} -S -O binary $@ $@.bin;
+       echo ${OBJCOPY} -S -O binary $@ $@.img; \
+       ${OBJCOPY} -S -O binary $@ $@.img;
 
-EXTRA_KERNELS+= ${KERNELS:@.KERNEL.@${.KERNEL.}.bin@}
+EXTRA_KERNELS+= ${KERNELS:@.KERNEL.@${.KERNEL.}.img@}