summaryrefslogtreecommitdiffstats
path: root/site
diff options
context:
space:
mode:
Diffstat (limited to 'site')
-rw-r--r--site/index.php3
1 files changed, 3 insertions, 0 deletions
diff --git a/site/index.php b/site/index.php
index d2c336a..9f8f9c2 100644
--- a/site/index.php
+++ b/site/index.php
@@ -62,6 +62,9 @@
<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">verify a GPG signature on your kernel before booting it</a>, <i>load a kernel from the flash chip</i>, and more!
</p>
+ <p>
+ <i>Libreboot is working to become an official component of the GNU system.</i>
+ </p>
<ul>
<li><a href="download/"><?php echo gettext("Download stable version"); ?></a></li>
<li><a href="git/"><?php echo gettext("Download development version (git)"); ?></a></li>