#
# kexec arm (linux booting linux)
#
KEXEC_SRCS+= kexec/arch/arm/kexec-elf-rel-arm.c
KEXEC_SRCS+= kexec/arch/arm/kexec-zImage-arm.c
KEXEC_SRCS+= kexec/arch/arm/kexec-arm.c
