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_BOOTP
34 config ADK_TARGET_KERNEL_VMLINUX_GZ
37 config ADK_TARGET_KERNEL_VMLINUX_SREC
40 config ADK_TARGET_KERNEL_XIPIMAGE
43 config ADK_TARGET_KERNEL
45 default "uImage" if ADK_TARGET_KERNEL_UIMAGE
46 default "uImage.bin" if ADK_TARGET_KERNEL_UIMAGEBIN
47 default "zImage" if ADK_TARGET_KERNEL_ZIMAGE
48 default "Image" if ADK_TARGET_KERNEL_IMAGE
49 default "linux.bin" if ADK_TARGET_KERNEL_LINUXBIN
50 default "vmlinuz" if ADK_TARGET_KERNEL_VMLINUZ
51 default "image" if ADK_TARGET_KERNEL_VMLINUX_AOUT
52 default "vmlinux.srec" if ADK_TARGET_KERNEL_VMLINUX_SREC
53 default "vmlinux.bin" if ADK_TARGET_KERNEL_VMLINUX_BIN
54 default "bootpfile" if ADK_TARGET_KERNEL_VMLINUX_BOOTP
55 default "vmlinux.gz" if ADK_TARGET_KERNEL_VMLINUX_GZ
56 default "xipImage" if ADK_TARGET_KERNEL_XIPIMAGE
57 default "bzImage" if ADK_TARGET_KERNEL_BZIMAGE
58 default "bzImage" if ADK_TARGET_SYSTEM_GENERIC_X86_64 || ADK_TARGET_SYSTEM_GENERIC_X86
61 config ADK_TARGET_KERNEL_WITH_COMPRESSION