From bbf60e1aa0bf9834fbcf577a4b528a1887718966 Mon Sep 17 00:00:00 2001
From: Daniel Micay <daniel.micay@grapheneos.org>
Date: Sun, 24 Nov 2024 11:11:16 -0500
Subject: [PATCH] add x86_64 microdroid kernel build documentation

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

diff --git a/static/build.html b/static/build.html
index 76367a68..7eada5d9 100644
--- a/static/build.html
+++ b/static/build.html
@@ -772,6 +772,13 @@ repo sync -j8</pre>
                         <code>packages/modules/Virtualization/microdroid/kernel/android15-6.6/arm64/kernel-6.6</code> with your image
                         <code>out/kernel_aarch64_microdroid/dist/Image</code>.</p>
 
+                        <p>To build the x86_64 kernel image for microdroid:</p>
+
+                        <pre>tools/bazel run //common:kernel_x86_64_microdroid_dist --config=stamp --lto=full</pre>
+
+                        <p>Replace the prebuilt kernel image in the OS source tree at
+                        <code>packages/modules/Virtualization/microdroid/kernel/android15-6.6/x86_64/kernel-6.6</code> with your image
+                        <code>out/kernel_x86_64_microdroid/dist/bzImage</code>.</p>
                     </section>
 
                     <section id="kernel-9th-generation-pixels">