1 # This file is part of the OpenADK project. OpenADK is copyrighted
2 # material, please see the LICENCE file in the top-level directory.
4 config ADK_TARGET_KERNEL_VMLINUZ
7 config ADK_TARGET_KERNEL_ZIMAGE
10 config ADK_TARGET_KERNEL_LINUXBIN
13 config ADK_TARGET_KERNEL_IMAGE
16 config ADK_TARGET_KERNEL_UIMAGE
19 config ADK_TARGET_KERNEL_BZIMAGE
22 config ADK_TARGET_KERNEL_VMLINUX_AOUT
25 config ADK_TARGET_KERNEL_VMLINUX_SREC
28 config ADK_TARGET_KERNEL_XIPIMAGE
31 config ADK_TARGET_KERNEL
33 default "uImage" if ADK_TARGET_KERNEL_UIMAGE
34 default "zImage" if ADK_TARGET_KERNEL_ZIMAGE
35 default "Image" if ADK_TARGET_KERNEL_IMAGE
36 default "linux.bin" if ADK_TARGET_KERNEL_LINUXBIN
37 default "vmlinuz" if ADK_TARGET_KERNEL_VMLINUZ
38 default "vmlinux.aout" if ADK_TARGET_KERNEL_VMLINUX_AOUT
39 default "vmlinux.srec" if ADK_TARGET_KERNEL_VMLINUX_SREC
40 default "xipImage" if ADK_TARGET_KERNEL_XIPIMAGE
41 default "bzImage" if ADK_TARGET_KERNEL_BZIMAGE
42 default "bzImage" if ADK_TARGET_SYSTEM_GENERIC_X86_64 || ADK_TARGET_SYSTEM_GENERIC_X86
45 config ADK_TARGET_KERNEL_WITH_COMPRESSION