summaryrefslogtreecommitdiffstats
path: root/docs/index.html
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2015-10-07 16:02:40 (EDT)
committer Francis Rowe <info@gluglug.org.uk>2015-10-07 16:02:40 (EDT)
commit9918bfbd73024914207775c3bdbd2ffc40942d37 (patch)
tree9bc2b06f547e0256508bfa4e764e529c19c7ccc2 /docs/index.html
parenta94a391696f9941bb3ab95a442e23c03d62f8fbf (diff)
downloadlibreboot-9918bfbd73024914207775c3bdbd2ffc40942d37.zip
libreboot-9918bfbd73024914207775c3bdbd2ffc40942d37.tar.gz
libreboot-9918bfbd73024914207775c3bdbd2ffc40942d37.tar.bz2
docs/tasks.html: tidy up
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>