add x86_64 microdroid kernel build documentation

1 files changed, 7 insertions, 0 deletions

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">