From 50f769f82c5dc41c8b5c1a249693f3e93e10ecb3 Mon Sep 17 00:00:00 2001 From: Khem Raj Date: Thu, 16 Feb 2017 10:46:41 -0800 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}"