1. ${ROOT_DIR}/${KERNEL_DIR}/build.config.gki.aarch64 2 3FILES="${FILES} 4crypto/fips140.ko 5" 6 7if [ "${LTO}" = "none" ]; then 8 echo "The FIPS140 module needs LTO to be enabled." 9 exit 1 10fi 11 12MODULES_ORDER=android/gki_aarch64_fips140_modules 13 14DEFCONFIG=fips140_gki_defconfig 15KMI_SYMBOL_LIST=android/abi_gki_aarch64_fips140 16PRE_DEFCONFIG_CMDS="cat ${ROOT_DIR}/${KERNEL_DIR}/arch/arm64/configs/gki_defconfig ${ROOT_DIR}/${KERNEL_DIR}/arch/arm64/configs/fips140_gki.fragment > ${ROOT_DIR}/${KERNEL_DIR}/arch/arm64/configs/${DEFCONFIG};" 17POST_DEFCONFIG_CMDS="rm ${ROOT_DIR}/${KERNEL_DIR}/arch/arm64/configs/${DEFCONFIG}" 18KMI_SYMBOL_LIST_ADD_ONLY=1 19