brcm63xx: Add support for ADB P.DG A4001N
[oweals/openwrt.git] / include / kernel-defaults.mk
index f1f5a81313d8222cb423947ed27cb4bdc2b8e3ce..da06abd0a54e0bd7f8068d53cf7eb8294d09e4a9 100644 (file)
@@ -140,6 +140,7 @@ endif
 define Kernel/CopyImage
        $(KERNEL_CROSS)objcopy -O binary $(OBJCOPY_STRIP) -S $(LINUX_DIR)/vmlinux $(LINUX_KERNEL)$(1)
        $(KERNEL_CROSS)objcopy $(OBJCOPY_STRIP) -S $(LINUX_DIR)/vmlinux $(KERNEL_BUILD_DIR)/vmlinux$(1).elf
+       $(CP) $(LINUX_DIR)/vmlinux $(KERNEL_BUILD_DIR)/vmlinux.debug
 ifneq ($(subst ",,$(KERNELNAME)),)
        #")
        $(foreach k,$(filter-out dtbs,$(subst ",,$(KERNELNAME))),$(CP) $(LINUX_DIR)/arch/$(LINUX_KARCH)/boot/$(IMAGES_DIR)/$(k) $(KERNEL_BUILD_DIR)/$(k)$(1);)