diff options
| author | Daniel Micay <daniel.micay@grapheneos.org> | 2024-10-26 01:11:16 -0400 |
|---|---|---|
| committer | Daniel Micay <daniel.micay@grapheneos.org> | 2024-10-26 01:11:16 -0400 |
| commit | 0f3d0de0d04033b605dffc9eadbe5b25e3561645 (patch) | |
| tree | 444028247e54c13ac7f6df4b6930f6dc13686b03 | |
| parent | 0fe6efa78272d3d1faae46db68540a29af879c9a (diff) | |
use standard dist directory for microdroid kernel
| -rw-r--r-- | static/build.html | 4 |
1 files 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</pre> <p>To build the 6.6 kernel image for microdroid:</p> - <pre>tools/bazel run //common:kernel_aarch64_microdroid_dist --lto=full -- --dist_dir=microdroid_dist</pre> + <pre>tools/bazel run //common:kernel_aarch64_microdroid_dist --lto=full</pre> <p>Replace the prebuilt kernel image in the OS source tree at <code>packages/modules/Virtualization/microdroid/kernel/android15-6.6/arm64/kernel-6.6</code> with your image - <code>microdroid_dist/Image</code>.</p> + <code>out/kernel_aarch64_microdroid/dist/</code>.</p> </section> |