. ${ROOT_DIR}/${KERNEL_DIR}/build.config.gki.aarch64
|
|
FILES="${FILES}
|
crypto/fips140.ko
|
"
|
|
if [ "${LTO}" = "none" ]; then
|
echo "The FIPS140 module needs LTO to be enabled."
|
exit 1
|
fi
|
|
MODULES_ORDER=android/gki_aarch64_fips140_modules
|
|
DEFCONFIG=fips140_gki_defconfig
|
KMI_SYMBOL_LIST=android/abi_gki_aarch64_fips140
|
PRE_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};"
|
POST_DEFCONFIG_CMDS="rm ${ROOT_DIR}/${KERNEL_DIR}/arch/arm64/configs/${DEFCONFIG}"
|
KMI_SYMBOL_LIST_ADD_ONLY=1
|
