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

KEXEC_S_SRCS+=
