diff --git a/static/build.html b/static/build.html
index 0cb831fc..a157b5a3 100644
--- a/static/build.html
+++ b/static/build.html
@@ -142,6 +142,8 @@
                         <li>aosp_coral (Pixel 4 XL)</li>
                         <li>aosp_flame (Pixel 4)</li>
                         <li>aosp_sunfish (Pixel 4a)</li>
+                        <li>aosp_redfin (Pixel 4a 5G) - experimental and incomplete</li>
+                        <li>aosp_bramble (Pixel 5) - experimental and incomplete</li>
                     </ul>
 
                     <p>These are all fully supported production-ready targets supporting all the baseline
@@ -367,7 +369,8 @@ cd ../..</pre>
                     <p>List of kernels corresponding to officially supported devices:</p>
 
                     <ul>
-                        <li>Pixel 3, Pixel 3 XL, Pixel 3a, Pixel 3a XL: crosshatch
+                        <li>
+                            Pixel 3, Pixel 3 XL, Pixel 3a, Pixel 3a XL: crosshatch
                             <ul>
                                 <li>Pixel 3: crosshatch</li>
                                 <li>Pixel 3 XL: blueline</li>
@@ -376,6 +379,13 @@ cd ../..</pre>
                         </li>
                         <li>Pixel 4, Pixel 4 XL: coral</li>
                         <li>Pixel 4a: sunfish</li>
+                        <li>
+                            Pixel 4a 5G, Pixel 5: redbull
+                            <ul>
+                                <li>Pixel 4a 5G: redfin</li>
+                                <li>Pixel 5: bramble</li>
+                            </ul>
+                        </li>
                     </ul>
 
                     <p>As part of the hardening in GrapheneOS, it uses fully monolithic kernel builds with