|
@@ -32,9 +32,10 @@ config ADK_TARGET_KERNEL
|
|
|
default "Image" if ADK_TARGET_KERNEL_IMAGE
|
|
|
default "linux.bin" if ADK_TARGET_KERNEL_LINUXBIN
|
|
|
default "vmlinuz" if ADK_TARGET_KERNEL_VMLINUZ
|
|
|
- default "bzImage" if ADK_TARGET_KERNEL_BZIMAGE
|
|
|
default "vmlinux.aout" if ADK_TARGET_KERNEL_VMLINUX_AOUT
|
|
|
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
|