add microdroid kernel build instructions

This commit is contained in:
maade93791 2024-10-05 17:58:41 +03:00 committed by Daniel Micay
parent d642ceefe9
commit c0b04d337a

View File

@ -83,6 +83,7 @@
<a href="#kernel">Kernel</a>
<ul>
<li><a href="#kernel-emulator">Emulator</a></li>
<li><a href="#kernel-microdroid">Microdroid</a></li>
<li><a href="#kernel-9th-generation-pixels">9th generation Pixels</a></li>
<li><a href="#kernel-8th-generation-pixels">8th generation Pixels</a></li>
<li><a href="#kernel-7th-generation-pixels">7th generation Pixels</a></li>
@ -757,6 +758,26 @@ repo sync -j8</pre>
<code>device/generic/goldfish/board/kernel/x86_64.mk</code>.</p>
</section>
<section id="kernel-microdroid">
<h4><a href="#kernel-microdroid">Microdroid</a></h4>
<p>To sync the 6.6 kernel sources:</p>
<pre>mkdir -p android/kernel/6.6
cd android/kernel/6.6
repo init -u https://github.com/GrapheneOS/kernel_manifest-6.6.git -b 15
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>
<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>
</section>
<section id="kernel-9th-generation-pixels">
<h4><a href="#kernel-9th-generation-pixels">9th generation Pixels</a></h4>