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 <raj.khem@gmail.com>
This commit is contained in:
Khem Raj authored and Andrei Gherzan committed 2017-04-19 19:17:56 +01:00
1 parent a151923fa5
commit b61403a6a3
1 file changed
+1
+1
View File
@@ -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}"