# -----------------------------------------------------------------------------
# Has to be set by the target/device
-ifeq ($(LINUX26_BINLOC),)
# --------------
# VMLINUX
ifeq ($(LINUX26_FORMAT),vmlinux)
+ifeq ($(LINUX26_BINLOC),)
LINUX26_BINLOC:=$(LINUX26_FORMAT)
+endif
KERNEL_EXT:=
endif
# --------------
# UIMAGE
ifeq ($(LINUX26_FORMAT),uImage)
+ifeq ($(LINUX26_BINLOC),)
LINUX26_BINLOC:=arch/$(KERNEL_ARCH)/boot/$(LINUX26_FORMAT)
+endif
KERNEL_EXT:=.gz
endif
# --------------
# ZIMAGE
ifeq ($(LINUX26_FORMAT),zImage)
+ifeq ($(LINUX26_BINLOC),)
LINUX26_BINLOC:=arch/$(KERNEL_ARCH)/boot/$(LINUX26_FORMAT)
+endif
KERNEL_EXT:=.z
endif
# --------------
# BZIMAGE
ifeq ($(LINUX26_FORMAT),bzImage)
+ifeq ($(LINUX26_BINLOC),)
LINUX26_BINLOC:=arch/$(KERNEL_ARCH)/boot/bzImage
+endif
KERNEL_EXT:=.bz
endif
-endif
# -----------------------------------------------------------------------------
# File name for the Linux kernel binary