From 118543687829f22f7419792fdc7c622cdd7e3262 Mon Sep 17 00:00:00 2001 From: Michael Olbrich Date: Mon, 26 Jan 2015 12:49:14 +0100 Subject: kernel: add arm64 support Signed-off-by: Michael Olbrich --- platforms/kernel.in | 2 ++ 1 file changed, 2 insertions(+) (limited to 'platforms') diff --git a/platforms/kernel.in b/platforms/kernel.in index cb50f8d15..820d107a3 100644 --- a/platforms/kernel.in +++ b/platforms/kernel.in @@ -84,6 +84,7 @@ endchoice config KERNEL_ARCH_STRING string default "arm" if ARCH_ARM + default "arm64" if ARCH_ARM64 default "armnommu" if ARCH_ARM && !HAS_MMU default "alpha" if ARCH_ALPHA default "avr32" if ARCH_AVR32 @@ -192,6 +193,7 @@ endif config KERNEL_IMAGE string default "bzImage" if KERNEL_IMAGE_BZ + default "Image.gz" if KERNEL_IMAGE_Z && ARCH_ARM64 default "zImage" if KERNEL_IMAGE_Z default "xipImage" if KERNEL_IMAGE_XIP default "uImage" if KERNEL_IMAGE_U -- cgit v1.2.3