raspberrypi5.conf: Fix KERNEL_IMAGETYPE_UBOOT

Similar to raspberrypi4-64.conf, we need to set KERNEL_IMAGETYPE_UBOOT to "Image" and set KERNEL_BOOTCMD to "booti" Signed-off-by: Tim Orling <[email protected]>
agherzan · Apr 6, 2024 · 32cdeae · 32cdeae
1 parent 16dcfcd
commit 32cdeae
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/conf/machine/raspberrypi5.conf b/conf/machine/raspberrypi5.conf
@@ -22,7 +22,11 @@ SERIAL_CONSOLES ?= "115200;ttyAMA10"
 
 VC4DTBO ?= "vc4-kms-v3d"
 
+# When u-boot is enabled we need to use the "Image" format and the "booti"
+# command to load the kernel
+KERNEL_IMAGETYPE_UBOOT ?= "Image"
 # "zImage" not supported on arm64 and ".gz" images not supported by bootloader yet
 KERNEL_IMAGETYPE_DIRECT ?= "Image"
+KERNEL_BOOTCMD ?= "booti"
 
 UBOOT_MACHINE = "rpi_arm64_config"