diff options
Diffstat (limited to 'static')
| -rw-r--r-- | static/build.html | 7 |
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"> |