From b61403a6a3a87e8e906e13d82cf77fa6241f3f64 Mon Sep 17 00:00:00 2001 From: Khem Raj Date: Tue, 18 Apr 2017 21:51:07 +0100 Subject: [PATCH] sdcard: Use kernel8.img for 64bit kernel image name This helps the firmware to identify the kernel as 64bit image Signed-off-by: Khem Raj --- classes/sdcard_image-rpi.bbclass | 1 + 1 file changed, 1 insertion(+) diff --git a/classes/sdcard_image-rpi.bbclass b/classes/sdcard_image-rpi.bbclass index 116d5e8..79ab53a 100644 --- a/classes/sdcard_image-rpi.bbclass +++ b/classes/sdcard_image-rpi.bbclass @@ -35,6 +35,7 @@ KERNEL_INITRAMFS ?= "" # Kernel image name SDIMG_KERNELIMAGE_raspberrypi ?= "kernel.img" SDIMG_KERNELIMAGE_raspberrypi2 ?= "kernel7.img" +SDIMG_KERNELIMAGE_raspberrypi3-64 ?= "kernel8.img" # Boot partition volume id BOOTDD_VOLUME_ID ?= "${MACHINE}"