From 0f3d0de0d04033b605dffc9eadbe5b25e3561645 Mon Sep 17 00:00:00 2001 From: Daniel Micay Date: Sat, 26 Oct 2024 01:11:16 -0400 Subject: [PATCH] use standard dist directory for microdroid kernel --- static/build.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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/.