diff --git a/static/build.html b/static/build.html index cfa2d71e..22ad233a 100644 --- a/static/build.html +++ b/static/build.html @@ -412,12 +412,11 @@ cd ../.. marked as using a separate build above need to have the device variant passed to the GrapheneOS kernel build script to select the device.

-

For the Pixel 3, Pixel 3 XL, Pixel 3a, Pixel 3a XL, Pixel 4, Pixel 4 XL and Pixel - 4a the kernel repository uses submodules for building in out-of-tree modules. You need - to make sure the submodule sources are updated before building. In the future, this - should end up being handled automatically by repo. There's no harm in - running the submodule commands for other devices as they will simply not do - anything.

+

The kernel repositories use submodules for building in out-of-tree modules. + You need to make sure the submodule sources are updated before building. In + the future, this should end up being handled automatically by + repo. There's no harm in running the submodule commands for other + devices as they will simply not do anything.

For example, to build the kernel for redfin: