From 50493a53a99c652f45cef8d97dc029b23507c004 Mon Sep 17 00:00:00 2001
From: Daniel Micay <daniel.micay@grapheneos.org>
Date: Sun, 24 Nov 2024 11:23:48 -0500
Subject: [PATCH] improve emulator kernel build documentation

---
 static/build.html | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/static/build.html b/static/build.html
index 7eada5d9..24623425 100644
--- a/static/build.html
+++ b/static/build.html
@@ -720,6 +720,10 @@ cd ../..</pre>
                     <section id="kernel-emulator">
                         <h4><a href="#kernel-emulator">Emulator</a></h4>
 
+                        <p>The default kernel version for the emulator is 6.6. You can change the
+                        kernel version used for the x86_64 emulator target supported by GrapheneOS in
+                        <code>device/generic/goldfish/board/kernel/x86_64.mk</code>.</p>
+
                         <p>To sync the 6.6 kernel sources:</p>
 
                         <pre>mkdir -p android/kernel/6.6
@@ -749,9 +753,6 @@ repo sync -j8</pre>
                         <p>Replace the prebuilts in the OS source tree:</p>
 
                         <pre>ANDROID_BUILD_TOP=~/android/grapheneos-15 ARCH=x86_64 common/update_virt_prebuilts.sh</pre>
-
-                        <p>You can configure the kernel version used for the x86_64 emulator in
-                        <code>device/generic/goldfish/board/kernel/x86_64.mk</code>.</p>
                     </section>
 
                     <section id="kernel-microdroid">