linux: add option to explicitly specify the kernel image name
authorWaldemar Brodkorb <wbx@openadk.org>
Fri, 11 Jul 2014 12:49:22 +0000 (14:49 +0200)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Tue, 15 Jul 2014 20:18:45 +0000 (22:18 +0200)
commitc78d57637cd57a383e44713eb27e654b3071340e
tree2fdc835f83a3b8e17b757f4fabee5b534fb29a5c
parent58b748dc480f79f49a341ba81defc7fe7425adc9
linux: add option to explicitly specify the kernel image name

For example the upcoming qemu-xtensa patch is using this feature,
where the target is called "zImage", but the resulting kernel name
is "Image.elf".

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
linux/Config.in
linux/linux.mk