[PATCH] rpi: Fix kernel file name for arm64 target

[Anton Mikanovich <amikan@ilbers.de>]

For generic arm64 targets KERNEL_FILE is set by override, so if we need
to change it, override ':arm64' should be used. Otherwize generic value
still will be used.

Signed-off-by: Anton Mikanovich <amikan@ilbers.de>
---
 meta-isar/conf/machine/rpi-common.conf | 1 +
 1 file changed, 1 insertion(+)

diff --git a/meta-isar/conf/machine/rpi-common.conf b/meta-isar/conf/machine/rpi-common.conf
index 9dd70f99..c9b59125 100644
--- a/meta-isar/conf/machine/rpi-common.conf
+++ b/meta-isar/conf/machine/rpi-common.conf
@@ -11,6 +11,7 @@ INSTALLER_WKS_FILE ?= "installer-rpi.wks"
 
 # RPi have custom kernel file names
 KERNEL_FILE = "${KERNEL_NAME}.img"
+KERNEL_FILE:arm64 = "${KERNEL_NAME}.img"
 
 KERNEL_TYPE = "raspios"
 KERNEL_IMAGE_PKG ?= "raspberrypi-kernel"
-- 
2.34.1

-- 
You received this message because you are subscribed to the Google Groups "isar-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to isar-users+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/isar-users/20260526090048.3114378-1-amikan%40ilbers.de.