diff --git a/static/build.html b/static/build.html index 93c6930c..0cdbb798 100644 --- a/static/build.html +++ b/static/build.html @@ -766,11 +766,11 @@ repo sync -j8
To build the 6.6 kernel image for microdroid:
-tools/bazel run //common:kernel_aarch64_microdroid_dist --lto=full -- --dist_dir=microdroid_dist+
tools/bazel run //common:kernel_aarch64_microdroid_dist --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
- microdroid_dist/Image
.
out/kernel_aarch64_microdroid/dist/
.