diff options
Diffstat (limited to 'static/build.html')
| -rw-r--r-- | static/build.html | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/static/build.html b/static/build.html index a83a15ee..6a64d299 100644 --- a/static/build.html +++ b/static/build.html @@ -146,7 +146,7 @@ devices have stronger hardware / firmware security and hardware-based OS security features and are better development devices for that reason. It's not possible to work on everything via past generation devices. The best development devices are the Pixel - 3, Pixel 3 XL, Pixel 3a and Pixel 3a XL.</p> + 3, Pixel 3 XL, Pixel 3a, Pixel 3a XL, Pixel 4 and Pixel 4 XL.</p> <p>Generic targets:</p> @@ -328,7 +328,7 @@ repo sync -j32</pre> and download the source tree. Note that some devices use different Android Open Source Project branches so they can end up with different tags. Make sure to use the correct tag for a device. For devices without official support, use the latest tag for the - Pixel 3.</p> + Pixel 4.</p> <pre>mkdir grapheneos-TAG_NAME cd grapheneos-TAG_NAME @@ -403,9 +403,10 @@ git submodule sync git submodule update --init ./build.sh blueline</pre> - <p>The <code>kernel/google/wahoo</code> repository is for the Pixel 2 and Pixel 2 XL - and the <code>kernel/google/crosshatch</code> repository is for the Pixel 3, Pixel 3 - XL, Pixel 3a and Pixel 3a XL.</p> + <p>The <code>kernel/google/wahoo</code> repository is for the Pixel 2 and Pixel 2 XL, + the <code>kernel/google/crosshatch</code> repository is for the Pixel 3, Pixel 3 XL, + Pixel 3a and Pixel 3a XL and the <code>kernel/google/coral</code> repository is for + the Pixel 4 and Pixel 4 XL.</p> <h3 id="setting-up-the-os-build-environment"> <a href="#setting-up-the-os-build-environment">Setting up the OS build environment</a> |