ANDROID: Disable check_defconfig for kernel_aarch64_tv.

When a config like CONFIG_DEBUG_INFO_BTF is disabled, relevant configs
in gki_defconfig (e.g. CONFIG_SCHED_CLASS_EXT and
CONFIG_MODULE_ALLOW_BTF_MISMATCH) are also disabled. But the check_defconfig
program does not know this. This change disables the check.

The downside of this change is that, if a config has a typo in
tv_gki.fragment, Kleaf will silently ignore the item. The developer
needs to verify that items in tv_gki.fragment are actually effective
and not outdated.

Bug: 415825866
Change-Id: I18798b3447fe62e69ea844f2f20641bc39bf8ddb
Signed-off-by: HONG Yifan <elsk@google.com>
This commit is contained in:
HONG Yifan
2025-05-07 17:28:46 +00:00
committed by Treehugger Robot
parent 88680fe19e
commit 46aa903098

View File

@@ -290,6 +290,7 @@ common_kernel(
additional_kmi_symbol_lists = [":aarch64_additional_kmi_symbol_lists"],
arch = "arm64",
build_gki_artifacts = True,
check_defconfig = "disabled",
ddk_headers_archive = ":kernel_aarch64_ddk_headers_archive",
ddk_module_headers = [":all_headers_aarch64"],
defconfig = "arch/arm64/configs/gki_defconfig",