diff options
author | Yifan Hong <elsk@google.com> | 2023-09-27 14:57:49 -0700 |
---|---|---|
committer | Yifan Hong <elsk@google.com> | 2024-04-18 22:34:17 +0000 |
commit | a0b3ece75e4642b87c5f7f2151e0a4c4954bd5ea (patch) | |
tree | edbf199353d7c05acacfa653325dd451916f316f | |
parent | 5a9adde7b6d9f2b760975429524690a838a5bf57 (diff) | |
download | gs-a0b3ece75e4642b87c5f7f2151e0a4c4954bd5ea.tar.gz |
ANDROID: Add ddk_headers_archive for aarch64
This is the prebuilt version of
//common:all_headers_aarch64. The init_ddk
script will extract this archive to re-create
the common/ source tree.
Bug: 301150319
Change-Id: I5b3b952f369fc9dc5b4d16ae2ed675f6588b4291
Signed-off-by: Yifan Hong <elsk@google.com>
-rw-r--r-- | BUILD.bazel | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/BUILD.bazel b/BUILD.bazel index 2331f9d266d8..f2587bf8d57a 100644 --- a/BUILD.bazel +++ b/BUILD.bazel @@ -20,6 +20,7 @@ load( "android_filegroup", "checkpatch", "ddk_headers", + "ddk_headers_archive", "kernel_build", "kernel_images", "kernel_modules_install", @@ -110,6 +111,7 @@ define_common_kernels(target_configs = { "kernel_aarch64": { "module_implicit_outs": get_gki_modules_list("arm64"), "make_goals": _GKI_AARCH64_MAKE_GOALS, + "ddk_headers_archive": ":kernel_aarch64_ddk_headers_archive", "extra_dist": [":test_mappings_zip"], }, "kernel_riscv64": { @@ -921,6 +923,14 @@ ddk_headers( visibility = ["//visibility:public"], ) +ddk_headers_archive( + name = "kernel_aarch64_ddk_headers_archive", + srcs = [ + "all_headers_aarch64", + ], + visibility = ["//visibility:private"], +) + ddk_headers( name = "all_headers_arm", hdrs = [":all_headers_allowlist_arm"] + select({ |