diff options
| author | Daniel Micay <danielmicay@gmail.com> | 2023-04-13 09:57:46 -0400 |
|---|---|---|
| committer | Daniel Micay <danielmicay@gmail.com> | 2023-04-13 12:22:55 -0400 |
| commit | 785326f47ad2ae5e55d62d50ec2cb449a9780b9b (patch) | |
| tree | 2136325a39e8fe204739df0f139990320bc29397 /static/build.html | |
| parent | 1dd411d3f75792e9df93a186e39d556194f5aab3 (diff) | |
add emulator kernel build instructions
Initially only covers building the 5.15 kernel for x86_64. Can be
extended to covering 5.10 and arm64 too.
Diffstat (limited to 'static/build.html')
| -rw-r--r-- | static/build.html | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/static/build.html b/static/build.html index 4731b4e1..58bdb82a 100644 --- a/static/build.html +++ b/static/build.html @@ -97,6 +97,7 @@ <li> <a href="#kernel">Kernel</a> <ul> + <li><a href="#kernel-emulator">Emulator</a></li> <li><a href="#kernel-4th-generation-pixels">4th generation Pixels</a></li> <li><a href="#kernel-5th-generation-pixels">5th generation Pixels</a></li> <li><a href="#kernel-6th-generation-pixels">6th generation Pixels</a></li> @@ -715,6 +716,27 @@ cd ../..</pre> <li>binutils (for the host, not the target)</li> </ul> + <section id="kernel-emulator"> + <h4><a href="#kernel-emulator">Emulator</a></h4> + + <pre>mkdir -p android/kernel/5.15 +cd android/kernel/5.15 +repo init -u https://github.com/GrapheneOS/kernel_manifest-5.15.git -b 13 +repo sync -j8</pre> + + <p>To build the 5.15 kernel image and modules for the emulator:</p> + + <pre>BUILD_CONFIG=common/build.config.gki.x86_64 build/build.sh +BUILD_CONFIG=common-modules/virtual-device/build.config.virtual_device.x86_64 build/build.sh</pre> + + <p>Replace the prebuilts in the OS source tree:</p> + + <pre>ANDROID_BUILD_TOP=~/android/grapheneos-13 +cp out/android13-5.15/dist/bzImage $ANDROID_BUILD_TOP/kernel/prebuilts/5.15/x86_64/kernel-5.15 +cp out/android13-5.15/dist/System.map $ANDROID_BUILD_TOP/kernel/prebuilts/5.15/x86_64/System.map +cp out/android13-5.15/dist/*.ko $ANDROID_BUILD_TOP/kernel/prebuilts/common-modules/virtual-device/5.15/x86-64/</pre> + </section> + <section id="kernel-4th-generation-pixels"> <h4><a href="#kernel-4th-generation-pixels">4th generation Pixels</a></h4> |