| . ${ROOT_DIR}/${KERNEL_DIR}/build.config.common | |
| . ${ROOT_DIR}/${KERNEL_DIR}/build.config.x86_64 | |
| . ${ROOT_DIR}/${KERNEL_DIR}/build.config.gki | |
| BUILD_SYSTEM_DLKM=1 | |
| BUILD_GKI_CERTIFICATION_TOOLS=1 | |
| BUILD_GKI_ARTIFACTS=1 | |
| BUILD_GKI_BOOT_IMG_SIZE=67108864 | |
| if [ -n "${GKI_BUILD_CONFIG_FRAGMENT}" ]; then | |
| source ${GKI_BUILD_CONFIG_FRAGMENT} | |
| fi |