use standard dist directory for microdroid kernel

This commit is contained in:
Daniel Micay 2024-10-26 01:11:16 -04:00
parent 0fe6efa782
commit 0f3d0de0d0

View File

@ -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>