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