kernel prebuilts

2020-06-15 07:03:46 -04:00 · 2020-06-15 07:03:46 -04:00 · 1a768db092
commit 1a768db092
parent b2dd94547d
1 changed files with 3 additions and 0 deletions
--- 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>