From d9525609cd7256c39cf62acb74ad1a5e45eeb737 Mon Sep 17 00:00:00 2001
From: Lee Miller <lee.miller@tutanota.com>
Date: Tue, 21 Nov 2023 00:39:31 +0200
Subject: [PATCH] Copy the proper images to imagebuilder dir

---
 .buildbot/openwrt/build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.buildbot/openwrt/build.sh b/.buildbot/openwrt/build.sh
index 4ccf538..1a32dbe 100755
--- a/.buildbot/openwrt/build.sh
+++ b/.buildbot/openwrt/build.sh
@@ -150,7 +150,8 @@ make image PROFILE=${PROFILE} EXTRA_IMAGE_NAME="dualeth" \
 sed -i "s|,i2c_csi_dsi||g" ${BOOTSOURCE}/current.txt
 sed -i "s/CONFIG_TARGET_ROOTFS_PARTSIZE=.*/CONFIG_TARGET_ROOTFS_PARTSIZE=768/g" .config
 
-cp ${sdkdir}/${KERNELSOURCE}/vmlinux ${KERNELDIR}/
+cp ${sdkdir}/${KERNELDIR}/Image ${KERNELDIR}/
+cp ${sdkdir}/${KERNELDIR}/vmlinux* ${KERNELDIR}/
 
 make image PROFILE=${PROFILE} EXTRA_IMAGE_NAME="waveshare" \
      PACKAGES=" \