Index: sys/arch/evbarm/conf/mk.generic
===================================================================
RCS file: /cvsroot/src/sys/arch/evbarm/conf/mk.generic,v
retrieving revision 1.7
diff -u -p -r1.7 mk.generic
--- sys/arch/evbarm/conf/mk.generic	30 Mar 2019 17:40:34 -0000	1.7
+++ sys/arch/evbarm/conf/mk.generic	13 Apr 2019 11:19:55 -0000
@@ -17,11 +17,16 @@ MKUBOOTIMAGEARGS=	-A arm -T kernel_noloa
 MKUBOOTIMAGEARGS+=	-e 0
 MKUBOOTIMAGEARGS+=	-n "NetBSD/${BOARDTYPE:U${MACHINE_ARCH}} ${_OSRELEASE}"
 
+MKKNLIMG=		${THISARM}/compile/rpi-mkknlimg.sh
+
 SYSTEM_LD_TAIL_EXTRA+=; \
 	echo ${OBJCOPY} -S -O binary $@ $@.bin; \
 	${OBJCOPY} -S -O binary $@ $@.bin; \
 	echo ${TOOL_MKUBOOTIMAGE} ${MKUBOOTIMAGEARGS} $@.bin $@.ub; \
-	${TOOL_MKUBOOTIMAGE} ${MKUBOOTIMAGEARGS} $@.bin $@.ub;
+	${TOOL_MKUBOOTIMAGE} ${MKUBOOTIMAGEARGS} $@.bin $@.ub; \
+	echo ${MKKNLIMG} $@.bin $@.img; \
+	${HOST_SH} ${MKKNLIMG} $@.bin $@.img;
 
 EXTRA_KERNELS+= ${KERNELS:@.KERNEL.@${.KERNEL.}.bin@}
 EXTRA_KERNELS+= ${KERNELS:@.KERNEL.@${.KERNEL.}.ub@}
+EXTRA_KERNELS+= ${KERNELS:@.KERNEL.@${.KERNEL.}.img@}