From e9681ef589ce56285af224b22406e0730d19999c Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Mon, 7 Oct 2019 16:36:35 -0400
Subject: [PATCH] crosshatch and bonito now share a kernel tree

---
 static/build.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/static/build.html b/static/build.html
index a059f917..9201587f 100644
--- a/static/build.html
+++ b/static/build.html
@@ -282,8 +282,7 @@ cd ../..</pre>
             <ul>
                 <li>Pixel, Pixel XL: marlin - shared build</li>
                 <li>Pixel 2, Pixel 2 XL: wahoo - split build due to hardening</li>
-                <li>Pixel 3, Pixel 3 XL: crosshatch - split build due to hardening</li>
-                <li>Pixel 3a, Pixel 3a XL: bonito - shared build</li>
+                <li>Pixel 3, Pixel 3 XL, Pixel 3a, Pixel 3a XL: crosshatch - split build due to hardening</li>
             </ul>
 
             <p>As part of the hardening in GrapheneOS, it uses fully monolithic kernel builds with