diff options
Diffstat (limited to 'platforms/kernel.in')
-rw-r--r-- | platforms/kernel.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/platforms/kernel.in b/platforms/kernel.in index fc89c9aaf..f7a2613d3 100644 --- a/platforms/kernel.in +++ b/platforms/kernel.in @@ -161,6 +161,13 @@ choice This is the target to get the kernel image as an ELF. Mostly used for debugging purposes. + config KERNEL_IMAGE_VMLINUZ + bool + prompt "vmlinuz" + help + This is the target to get the compressed kernel image as an ELF. + Mostly used for debugging purposes or for MIPS. + config KERNEL_IMAGE_RAW bool prompt "Image" @@ -208,6 +215,7 @@ config KERNEL_IMAGE default "uImage" if KERNEL_IMAGE_U default "vmImage" if KERNEL_IMAGE_VM default "vmlinux" if KERNEL_IMAGE_VMLINUX + default "vmlinuz" if KERNEL_IMAGE_VMLINUZ default "Image" if KERNEL_IMAGE_RAW default "simpleImage.${PTXCONF_KERNEL_IMAGE_SIMPLE_TARGET}.elf" if KERNEL_IMAGE_SIMPLE |