# This file is part of the OpenADK project. OpenADK is copyrighted # material, please see the LICENCE file in the top-level directory. config ADK_TARGET_KERNEL_VMLINUZ bool config ADK_TARGET_KERNEL_ZIMAGE bool config ADK_TARGET_KERNEL_LINUXBIN bool config ADK_TARGET_KERNEL_IMAGE bool config ADK_TARGET_KERNEL_UIMAGE bool config ADK_TARGET_KERNEL_UIMAGEBIN bool config ADK_TARGET_KERNEL_BZIMAGE bool config ADK_TARGET_KERNEL_VMLINUX_AOUT bool config ADK_TARGET_KERNEL_VMLINUX_BIN bool config ADK_TARGET_KERNEL_VMLINUX_BOOTP bool config ADK_TARGET_KERNEL_VMLINUX_GZ bool config ADK_TARGET_KERNEL_VMLINUX_SREC bool config ADK_TARGET_KERNEL_XIPIMAGE bool config ADK_TARGET_KERNEL_SIMPLEIMAGE bool config ADK_TARGET_KERNEL string default "uImage" if ADK_TARGET_KERNEL_UIMAGE default "uImage.bin" if ADK_TARGET_KERNEL_UIMAGEBIN default "zImage" if ADK_TARGET_KERNEL_ZIMAGE default "Image" if ADK_TARGET_KERNEL_IMAGE default "linux.bin" if ADK_TARGET_KERNEL_LINUXBIN default "vmlinuz" if ADK_TARGET_KERNEL_VMLINUZ default "image" if ADK_TARGET_KERNEL_VMLINUX_AOUT default "vmlinux.srec" if ADK_TARGET_KERNEL_VMLINUX_SREC default "vmlinux.bin" if ADK_TARGET_KERNEL_VMLINUX_BIN default "bootpfile" if ADK_TARGET_KERNEL_VMLINUX_BOOTP default "vmlinux.gz" if ADK_TARGET_KERNEL_VMLINUX_GZ default "xipImage" if ADK_TARGET_KERNEL_XIPIMAGE default "bzImage" if ADK_TARGET_KERNEL_BZIMAGE default "bzImage" if ADK_TARGET_SYSTEM_GENERIC_X86_64 || ADK_TARGET_SYSTEM_GENERIC_X86 default "vmlinux" config ADK_TARGET_KERNEL_WITH_COMPRESSION bool