diff options
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/docs/index.html b/docs/index.html index 27841288..b4562b72 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> |