security/hakurei.app
security/hakurei.app
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 4 Wiki Activity

fixes for microkernel kernel build documentation

Browse Source
This commit is contained in:
Daniel Micay 2024-11-24 11:10:56 -05:00
parent 5de247b016
commit 4dbd909a84
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
static/build.html
View File

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