diff --git a/static/build.html b/static/build.html index eaf6a585..bfbdf08b 100644 --- a/static/build.html +++ b/static/build.html @@ -766,7 +766,7 @@ repo sync -j8

To build the 6.6 kernel image for microdroid:

-
tools/bazel run //common:kernel_aarch64_microdroid_dist --lto=full --config=stamp
+
tools/bazel run //common:kernel_aarch64_microdroid_dist --config=stamp --lto=full

Replace the prebuilt kernel image in the OS source tree at packages/modules/Virtualization/microdroid/kernel/android15-6.6/arm64/kernel-6.6 with your image