summaryrefslogtreecommitdiffstats
path: root/docs/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'docs/index.html')
-rw-r--r--docs/index.html5
1 files changed, 2 insertions, 3 deletions
diff --git a/docs/index.html b/docs/index.html
index 2784128..b4562b7 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -78,9 +78,8 @@
Libreboot has many practical advantages over <a href="https://gnu.org/philosophy/proprietary/">proprietary</a> boot firmware,
such as faster boot speeds and better security. You can
<a href="gnulinux/index.html">install GNU/Linux with encrypted /boot/</a>,
- <a href="http://www.coreboot.org/GRUB2#signed_kernels">verify GPG signatures on your kernel</a>,
- run a <a href="http://proteanos.com/">full operating system</a> directly
- from the flash chip (planned for a future release), and more.
+ <a href="http://www.coreboot.org/GRUB2#signed_kernels">verify GPG signatures on your kernel</a>,
+ put a kernel in the flash chip and more.
</p>
<h2>