From 1a768db0923e8a7c70fbd5b509f7320fde7eb5cf Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Mon, 15 Jun 2020 07:03:46 -0400
Subject: [PATCH] kernel prebuilts

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

diff --git a/static/build.html b/static/build.html
index 885a0e2a..d7ebed89 100644
--- a/static/build.html
+++ b/static/build.html
@@ -371,6 +371,9 @@ 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 and 4 XL, so this step is optional for
+            those. This will be done for the other devices in the future.</p>
+
             <p>List of kernels corresponding to officially supported devices:</p>
 
             <ul>