/usr/src/kernels/4.18.0-553.157.1.el8_10.x86_64/arch/c6x/boot
Edit: /usr/src/kernels/4.18.0-553.157.1.el8_10.x86_64/arch/c6x/boot/Makefile (234B)
# SPDX-License-Identifier: GPL-2.0
#
# Makefile for bootable kernel images
#
OBJCOPYFLAGS_vmlinux.bin := -O binary
$(obj)/vmlinux.bin: vmlinux FORCE
$(call if_changed,objcopy)
$(obj)/dtbImage.%: vmlinux
$(call if_changed,objcopy)