diff options
| author | Daniel Micay <daniel.micay@grapheneos.org> | 2024-11-24 11:10:56 -0500 |
|---|---|---|
| committer | Daniel Micay <daniel.micay@grapheneos.org> | 2024-11-24 11:10:56 -0500 |
| commit | 4dbd909a84d942aad57cec321d21ee6f5b6b867a (patch) | |
| tree | 2fb3ee1872f3bbf882bb3bb2a80b9c9ca4e41a53 /static/build.html | |
| parent | 5de247b016e2c548f9c9f20f407df814b8b21f70 (diff) | |
fixes for microkernel kernel build documentation
Diffstat (limited to 'static/build.html')
| -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 bfbdf08b..76367a68 100644 --- a/static/build.html +++ b/static/build.html @@ -764,13 +764,13 @@ 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> + <p>To build the arm64 kernel image for microdroid:</p> <pre>tools/bazel run //common:kernel_aarch64_microdroid_dist --config=stamp --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>out/kernel_aarch64_microdroid/dist/</code>.</p> + <code>out/kernel_aarch64_microdroid/dist/Image</code>.</p> </section> |