blob: a1a75a8dbeee2fa17cba2a54e932c99c90bb4cf9 [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
Ard Biesheuvel6be141e2021-03-23 10:54:38 +010013
14DEFCONFIG=fips140_gki_defconfig
Matthias Maennichb9ae3282021-06-11 14:31:48 +010015KMI_SYMBOL_LIST=android/abi_gki_aarch64_fips140
Ard Biesheuvel6be141e2021-03-23 10:54:38 +010016PRE_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}"