diff options
| author | maade93791 <70593890+maade69@users.noreply.github.com> | 2024-10-05 17:58:41 +0300 |
|---|---|---|
| committer | Daniel Micay <daniel.micay@grapheneos.org> | 2024-10-06 17:43:39 -0400 |
| commit | c0b04d337a7698eb8d1c190f5c728b8f2f839aea (patch) | |
| tree | 96353264582adddd91629e2ace752879d8ff0c86 | |
| parent | d642ceefe9ef20e9ce443fee3642a28f4ddc293c (diff) | |
add microdroid kernel build instructions
| -rw-r--r-- | static/build.html | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/static/build.html b/static/build.html index 6a0a5307..bd29d4cf 100644 --- a/static/build.html +++ b/static/build.html @@ -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> |