119cead9cf
* Instead use the equivalent kernel_build attribute. Bug: 236012223 Change-Id: Id90fa89dcadd95d8a8ecf570f46d9d71a925c388 Signed-off-by: Ulises Mendez Martinez <umendez@google.com> (cherry picked from commit ab7e63ef765d74b388e881800ad500c5f93199fc)
26 lines
867 B
Plaintext
26 lines
867 B
Plaintext
. ${ROOT_DIR}/${KERNEL_DIR}/build.config.common
|
|
. ${ROOT_DIR}/${KERNEL_DIR}/build.config.riscv64
|
|
. ${ROOT_DIR}/${KERNEL_DIR}/build.config.gki
|
|
|
|
FILES="${FILES}
|
|
arch/riscv/boot/Image.lz4
|
|
arch/riscv/boot/Image.gz
|
|
"
|
|
|
|
BUILD_SYSTEM_DLKM=1
|
|
MODULES_LIST=${ROOT_DIR}/${KERNEL_DIR}/android/gki_system_dlkm_modules
|
|
|
|
BUILD_GKI_CERTIFICATION_TOOLS=1
|
|
|
|
BUILD_GKI_ARTIFACTS=1
|
|
BUILD_GKI_BOOT_IMG_SIZE=67108864
|
|
BUILD_GKI_BOOT_IMG_GZ_SIZE=47185920
|
|
BUILD_GKI_BOOT_IMG_LZ4_SIZE=53477376
|
|
|
|
PRE_DEFCONFIG_CMDS="mkdir -p \${OUT_DIR}/arch/riscv/configs/ && cat ${ROOT_DIR}/${KERNEL_DIR}/arch/riscv/configs/gki_defconfig ${ROOT_DIR}/${KERNEL_DIR}/arch/riscv/configs/64-bit.config ${ROOT_DIR}/${KERNEL_DIR}/arch/riscv/configs/gki.config > \${OUT_DIR}/arch/riscv/configs/${DEFCONFIG};"
|
|
POST_DEFCONFIG_CMDS=""
|
|
|
|
if [ -n "${GKI_BUILD_CONFIG_FRAGMENT}" ]; then
|
|
source ${GKI_BUILD_CONFIG_FRAGMENT}
|
|
fi
|