raspberrypi3-64: set default kernel to Image

Fixes: 50fd319205 for raspberrypi3-64.
Fixes: #153

For raspberrypi3-64 set default kernel image to "Image".

"zImage" are not supported by arm64 platforms. And ".gz" images are not
handled by bootloader yet.

Signed-off-by: Loys Ollivier <lollivier@baylibre.com>
This commit is contained in:
Loys Ollivier
2017-11-09 21:31:01 +01:00
committed by Andrei Gherzan
parent 4c09f3e6db
commit 4d3a148b8e
2 changed files with 3 additions and 1 deletions
+2
View File
@@ -43,4 +43,6 @@ MACHINE_FEATURES_append = " vc4graphics"
# 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 ?= "Image"
KERNEL_BOOTCMD ?= "booti"