diff --git a/static/build.html b/static/build.html index 84409e4f..b7ef3a37 100644 --- a/static/build.html +++ b/static/build.html @@ -371,7 +371,7 @@ cd ../..
The kernel needs to be built in advance, since it uses a separate build system.
-Prebuilts are provided for the all the officially supported devices, so this step +
Prebuilts are provided for all the officially supported devices, so this step is optional.
List of kernels corresponding to officially supported devices: