On most architectures, the kernel image can be found in
arch/<ARCH>/boot, but on AVR32, it's in arch/<ARCH>/boot/images.
Issue initially reported by Joachim Pihl
<joachim.pihl@sensordevelopments.com>.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
LINUX26_IMAGE_NAME=vmlinux.bin
endif
+ifeq ($(KERNEL_ARCH),avr32)
+LINUX26_IMAGE_PATH=$(LINUX26_DIR)/arch/$(KERNEL_ARCH)/boot/images/$(LINUX26_IMAGE_NAME)
+else
LINUX26_IMAGE_PATH=$(LINUX26_DIR)/arch/$(KERNEL_ARCH)/boot/$(LINUX26_IMAGE_NAME)
+endif
# Download
$(LINUX26_DIR)/.stamp_downloaded: