diff --git a/static/build.html b/static/build.html
index 58bdb82a..c1ba160a 100644
--- a/static/build.html
+++ b/static/build.html
@@ -719,6 +719,8 @@ cd ../..</pre>
                     <section id="kernel-emulator">
                         <h4><a href="#kernel-emulator">Emulator</a></h4>
 
+                        <p>To sync the 5.15 kernel sources:</p>
+
                         <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
@@ -735,6 +737,28 @@ BUILD_CONFIG=common-modules/virtual-device/build.config.virtual_device.x86_64 bu
 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>
+
+                        <p>To sync the 5.10 kernel sources:</p>
+
+                        <pre>mkdir -p android/kernel/5.10
+cd android/kernel/5.10
+repo init -u https://github.com/GrapheneOS/kernel_manifest-5.10.git -b 13
+repo sync -j8</pre>
+
+                        <p>To build the 5.10 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.10/dist/bzImage $ANDROID_BUILD_TOP/kernel/prebuilts/5.10/x86_64/kernel-5.10
+cp out/android13-5.10/dist/System.map $ANDROID_BUILD_TOP/kernel/prebuilts/5.10/x86_64/System.map
+cp out/android13-5.10/dist/*.ko $ANDROID_BUILD_TOP/kernel/prebuilts/common-modules/virtual-device/5.10/x86-64/</pre>
+
+                        <p>You can configure the kernel version used for the x86_64 emulate in
+                        <code>device/generic/goldfish/x86_64-kernel.mk</code>.</p>
                     </section>
 
                     <section id="kernel-4th-generation-pixels">