| . ${ROOT_DIR}/${KERNEL_DIR}/build.config.common |
| . ${ROOT_DIR}/${KERNEL_DIR}/build.config.aarch64 |
| . ${ROOT_DIR}/${KERNEL_DIR}/build.config.gki |
| |
| MAKE_GOALS="${MAKE_GOALS} |
| Image.lz4 |
| " |
| |
| TIDY_ABI=1 |
| KMI_SYMBOL_LIST=android/abi_gki_aarch64 |
| ADDITIONAL_KMI_SYMBOL_LISTS=" |
| android/abi_gki_aarch64_core |
| android/abi_gki_aarch64_fips140 |
| android/abi_gki_aarch64_generic |
| " |
| |
| FILES="${FILES} |
| arch/arm64/boot/Image.lz4 |
| " |
| MODULES_ORDER=android/gki_aarch64_modules |
| |
| if [ -n "${GKI_DEFCONFIG_FRAGMENT}" ]; then |
| source ${GKI_DEFCONFIG_FRAGMENT} |
| fi |
