From 6c0d1f4500c03a560bc5c8877833cea65b251e29 Mon Sep 17 00:00:00 2001
From: Yabin Cui <yabinc@google.com>
Date: Mon, 16 Dec 2024 16:09:12 -0800
Subject: [PATCH] ANDROID: Add aarch64 kernel target with AutoFDO profile

Bug: 382743224
Test: build
Change-Id: I4ed5d5b23cc4f84452526d87c8ca35c1c25d7039
Signed-off-by: Yabin Cui <yabinc@google.com>
---
 BUILD.bazel | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/BUILD.bazel b/BUILD.bazel
index a055f57be404..33bf13818a93 100644
--- a/BUILD.bazel
+++ b/BUILD.bazel
@@ -4,6 +4,7 @@
 load("@bazel_skylib//lib:paths.bzl", "paths")
 load("@bazel_skylib//rules:common_settings.bzl", "string_flag")
 load("@bazel_skylib//rules:write_file.bzl", "write_file")
+load("@kernel_toolchain_info//:dict.bzl", "BRANCH")
 load("@rules_cc//cc:defs.bzl", "cc_library")
 load("@rules_pkg//pkg:install.bzl", "pkg_install")
 load("@rules_pkg//pkg:mappings.bzl", "pkg_filegroup", "pkg_files", "strip_prefix")
@@ -251,6 +252,27 @@ common_kernel(
     visibility = ["//visibility:public"],
 )
 
+common_kernel(
+    name = "kernel_aarch64_autofdo",
+    outs = DEFAULT_GKI_OUTS,
+    arch = "arm64",
+    build_gki_artifacts = True,
+    clang_autofdo_profile = "//toolchain/pgo-profiles/kernel:aarch64/" + BRANCH + "/kernel.afdo",
+    ddk_headers_archive = ":kernel_aarch64_ddk_headers_archive",
+    ddk_module_headers = [":all_headers_aarch64"],
+    defconfig = "arch/arm64/configs/gki_defconfig",
+    extra_dist = [
+        ":test_mappings_zip",
+        ":tests_zip_arm64",
+    ],
+    gki_boot_img_sizes = _GKI_AARCH64_BOOT_IMAGE_SIZES,
+    gki_system_dlkm_modules = ":gki_system_dlkm_modules_arm64",
+    make_goals = _GKI_AARCH64_MAKE_GOALS,
+    makefile = ":Makefile",
+    module_implicit_outs = get_gki_modules_list("arm64") + get_kunit_modules_list("arm64"),
+    visibility = ["//visibility:public"],
+)
+
 fail_rule(
     name = "kernel_x86_64_debug",
     message = """\