diff --git a/static/build.html b/static/build.html
index a83a15ee..6a64d299 100644
--- a/static/build.html
+++ b/static/build.html
@@ -146,7 +146,7 @@
             devices have stronger hardware / firmware security and hardware-based OS security
             features and are better development devices for that reason. It's not possible to work
             on everything via past generation devices. The best development devices are the Pixel
-            3, Pixel 3 XL, Pixel 3a and Pixel 3a XL.</p>
+            3, Pixel 3 XL, Pixel 3a, Pixel 3a XL, Pixel 4 and Pixel 4 XL.</p>
 
             <p>Generic targets:</p>
 
@@ -328,7 +328,7 @@ repo sync -j32</pre>
             and download the source tree. Note that some devices use different Android Open Source
             Project branches so they can end up with different tags. Make sure to use the correct
             tag for a device. For devices without official support, use the latest tag for the
-            Pixel 3.</p>
+            Pixel 4.</p>
 
             <pre>mkdir grapheneos-TAG_NAME
 cd grapheneos-TAG_NAME
@@ -403,9 +403,10 @@ git submodule sync
 git submodule update --init
 ./build.sh blueline</pre>
 
-            <p>The <code>kernel/google/wahoo</code> repository is for the Pixel 2 and Pixel 2 XL
-            and the <code>kernel/google/crosshatch</code> repository is for the Pixel 3, Pixel 3
-            XL, Pixel 3a and Pixel 3a XL.</p>
+            <p>The <code>kernel/google/wahoo</code> repository is for the Pixel 2 and Pixel 2 XL,
+            the <code>kernel/google/crosshatch</code> repository is for the Pixel 3, Pixel 3 XL,
+            Pixel 3a and Pixel 3a XL and the <code>kernel/google/coral</code> repository is for
+            the Pixel 4 and Pixel 4 XL.</p>
 
             <h3 id="setting-up-the-os-build-environment">
                 <a href="#setting-up-the-os-build-environment">Setting up the OS build environment</a>