From fd40c1d9017aae068ebbd569f1319588e3f78a34 Mon Sep 17 00:00:00 2001
From: Nikita Ioffe <ioffe@google.com>
Date: Thu, 11 Jan 2024 10:49:01 +0000
Subject: [PATCH] ANDROID: add 16k targets for Microdroid kernel

Bug: 317201718
Test: tools/bazel run //common:kernel_aarch64_microdroid_16k_dist

Change-Id: I542f07d1d0b4f2b6a3c4c58185eee16b2b7f1667
Signed-off-by: Nikita Ioffe <ioffe@google.com>
---
 BUILD.bazel | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/BUILD.bazel b/BUILD.bazel
index 6f4d747cdc94..1c1dc8627744 100644
--- a/BUILD.bazel
+++ b/BUILD.bazel
@@ -198,6 +198,34 @@ copy_to_dist_dir(
     log = "info",
 )
 
+kernel_build(
+    name = "kernel_aarch64_microdroid_16k",
+    srcs = ["//common:kernel_aarch64_sources"],
+    outs = [
+        "Image",
+        "System.map",
+        "modules.builtin",
+        "modules.builtin.modinfo",
+        "vmlinux",
+        "vmlinux.symvers",
+    ],
+    build_config = "build.config.microdroid.aarch64",
+    make_goals = [
+        "Image",
+    ],
+    page_size = "16k",
+)
+
+copy_to_dist_dir(
+    name = "kernel_aarch64_microdroid_16k_dist",
+    data = [
+        ":kernel_aarch64_microdroid_16k",
+    ],
+    dist_dir = "out/kernel_aarch64_microdroid_16k/dist",
+    flat = True,
+    log = "info",
+)
+
 # Microdroid is not a real device. The kernel image is built with special
 #  configs to reduce the size. Hence, not using mixed build.
 kernel_build(