build.config.gki.aarch64.fips140 638 B

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