From cf2a1fea2c8e80053c268a21f3a4cfaf2d1a5f8c Mon Sep 17 00:00:00 2001
From: inthewaves <26474149+inthewaves@users.noreply.github.com>
Date: Wed, 13 Jan 2021 00:38:51 -0800
Subject: [PATCH] mention prebuilt kernels for all the supported devices

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

diff --git a/static/build.html b/static/build.html
index f609e262..717fe6c0 100644
--- a/static/build.html
+++ b/static/build.html
@@ -361,8 +361,8 @@ cd ../..</pre>
 
                     <p>The kernel needs to be built in advance, since it uses a separate build system.</p>
 
-                    <p>Prebuilts are provided for the Pixel 4, 4 XL and 4a so this step is optional for
-                    those. This will be done for the other devices in the future.</p>
+                    <p>Prebuilts are provided for the all the officially supported devices, so this step
+                    is optional.</p>
 
                     <p>List of kernels corresponding to officially supported devices:</p>