From c0b04d337a7698eb8d1c190f5c728b8f2f839aea Mon Sep 17 00:00:00 2001
From: maade93791 <70593890+maade69@users.noreply.github.com>
Date: Sat, 5 Oct 2024 17:58:41 +0300
Subject: [PATCH] add microdroid kernel build instructions

---
 static/build.html | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/static/build.html b/static/build.html
index 6a0a5307..bd29d4cf 100644
--- a/static/build.html
+++ b/static/build.html
@@ -83,6 +83,7 @@
                                 <a href="#kernel">Kernel</a>
                                 <ul>
                                     <li><a href="#kernel-emulator">Emulator</a></li>
+                                    <li><a href="#kernel-microdroid">Microdroid</a></li>
                                     <li><a href="#kernel-9th-generation-pixels">9th generation Pixels</a></li>
                                     <li><a href="#kernel-8th-generation-pixels">8th generation Pixels</a></li>
                                     <li><a href="#kernel-7th-generation-pixels">7th generation Pixels</a></li>
@@ -757,6 +758,26 @@ repo sync -j8</pre>
                         <code>device/generic/goldfish/board/kernel/x86_64.mk</code>.</p>
                     </section>
 
+                    <section id="kernel-microdroid">
+                        <h4><a href="#kernel-microdroid">Microdroid</a></h4>
+
+                        <p>To sync the 6.6 kernel sources:</p>
+
+                        <pre>mkdir -p android/kernel/6.6
+cd android/kernel/6.6
+repo init -u https://github.com/GrapheneOS/kernel_manifest-6.6.git -b 15
+repo sync -j8</pre>
+
+                        <p>To build the 6.6 kernel image for microdroid:</p>
+
+                        <pre>tools/bazel run //common:kernel_aarch64_microdroid_dist --lto=full -- --dist_dir=microdroid_dist</pre>
+
+                        <p>Replace the prebuilt kernel image in the OS source tree at
+                        <code>packages/modules/Virtualization/microdroid/kernel/android15-6.6/arm64/kernel-6.6</code> with your image
+                        <code>microdroid_dist/Image</code>.</p>
+
+                    </section>
+
                     <section id="kernel-9th-generation-pixels">
                         <h4><a href="#kernel-9th-generation-pixels">9th generation Pixels</a></h4>