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_UIMAGEBIN
22 config ADK_TARGET_KERNEL_BZIMAGE
25 config ADK_TARGET_KERNEL_VMLINUX_AOUT
28 config ADK_TARGET_KERNEL_VMLINUX_BIN
31 config ADK_TARGET_KERNEL_VMLINUX_SREC
34 config ADK_TARGET_KERNEL_XIPIMAGE
37 config ADK_TARGET_KERNEL
39 default "uImage" if ADK_TARGET_KERNEL_UIMAGE
40 default "uImage.bin" if ADK_TARGET_KERNEL_UIMAGEBIN
41 default "zImage" if ADK_TARGET_KERNEL_ZIMAGE
42 default "Image" if ADK_TARGET_KERNEL_IMAGE
43 default "linux.bin" if ADK_TARGET_KERNEL_LINUXBIN
44 default "vmlinuz" if ADK_TARGET_KERNEL_VMLINUZ
45 default "image" if ADK_TARGET_KERNEL_VMLINUX_AOUT
46 default "vmlinux.srec" if ADK_TARGET_KERNEL_VMLINUX_SREC
47 default "vmlinux.bin" if ADK_TARGET_KERNEL_VMLINUX_BIN
48 default "xipImage" if ADK_TARGET_KERNEL_XIPIMAGE
49 default "bzImage" if ADK_TARGET_KERNEL_BZIMAGE
50 default "bzImage" if ADK_TARGET_SYSTEM_GENERIC_X86_64 || ADK_TARGET_SYSTEM_GENERIC_X86
53 config ADK_TARGET_KERNEL_WITH_COMPRESSION