blob: 040d73af3d2a046188bf1fc44c9d93e5733c814c [file] [log] [blame]
Ard Biesheuvel6be141e2021-03-23 10:54:38 +01001. ${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
13KERNEL_DIR=common
14
15DEFCONFIG=fips140_gki_defconfig
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}"