summaryrefslogtreecommitdiffstats
path: root/site
diff options
context:
space:
mode:
Diffstat (limited to 'site')
-rw-r--r--site/index.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/site/index.php b/site/index.php
index f45fa7c..04b9821 100644
--- a/site/index.php
+++ b/site/index.php
@@ -59,7 +59,7 @@
You don't even need to build from source if you don't want to; ROM images and utilities are also included in each release, pre-compiled from the available source code.
</p>
<p>
- Libreboot has many practical advantages over proprietary firmware, such as faster boot speeds and better security. For example, you can <a href="docs/gnulinux/grub_boot_installer.html#encryption">install GNU/Linux with an encrypted /boot/ directory</a>, <a href="http://www.coreboot.org/GRUB2#signed_kernels">sign your kernels</a>, <i>load a kernel from the flash chip</i>, and more!
+ Libreboot has many practical advantages over proprietary firmware, such as faster boot speeds and better security. For example, you can <a href="docs/gnulinux/grub_boot_installer.html#encryption">install GNU/Linux with an encrypted /boot/ directory</a>, <a href="http://www.coreboot.org/GRUB2#signed_kernels">verify a GPG signature on your kernel before booting it</a>, <i>load a kernel from the flash chip</i>, and more!
</p>
<ul>
<li><a href="download/"><?php echo gettext("Download libreboot"); ?></a></li>